Leslie Gabriel Valiant (* 28. März 1949 in Budapest, Ungarn) ist ein britischer Informatiker und Turingpreisträger.
Studium und Forschung
Valiant studierte an der University of Cambridge (King’s College), am Imperial College London und an der University of Warwick, wo er 1974 in Informatik bei Michael Paterson promovierte (Decision Procedures for Families of Deterministic Pushdown Automata). Danach war er an der Carnegie Mellon University, der University of Leeds und der University of Edinburgh. Ab 1982 lehrte er an der Harvard University, wo er zurzeit T. Jefferson Coolidge Professor für Informatik und Angewandte Mathematik ist.
Valiant beschäftigte sich besonders mit Komplexitätstheorie (Einführung von Sharp-P 1979), Computational learning theory (Einführung des PAC-Modells des Maschinenlernens: Probably Approximately Correct Learning), parallelem Rechnen, neuronalem Rechnen, Evolutions-Modellen und Künstlicher Intelligenz. Von ihm stammt das Konzept holographischer Algorithmen (auch accidental algorithms genannt).
Bei seiner Einführung von #P zeigte er, dass die Berechnung der Permanente #P-vollständig ist.
1985 bewies er mit Vijay Vazirani ein wichtiges Resultat der Komplexitätstheorie (Valiant-Vazirani-Theorem), dass wenn UNIQUE-SAT in P ist, die Komplexitätsklassen NP und RP (random polynomial) identisch sind.
Zu seinen Doktoranden zählt Mark Jerrum.
Auszeichnungen
1986 erhielt er den Nevanlinna-Preis, 1997 den Knuth-Preis für Informatik, 2008 den EATCS-Award und 2010 den Turing Award. Er ist Fellow der Royal Society, Mitglied der National Academy of Sciences und seit 2019 Mitglied der Academia Europaea, seit 2022 der American Academy of Arts and Sciences. 1983 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Warschau (An algebraic approach to computational complexity).
Schriften
- Circuits of the mind. Oxford University Press, 1994, 2000
Einzelnachweise
- ↑ Valiant: The Complexity of Computing the Permanent, Theoretical Computer Science, Band 8, 1979, S. 189–201
- ↑ Brian Hayes, Accidental Algorithms, American Scientist, Band 96, Januar/Februar 2008, S. 9–13
- ↑ Valiant, Holographic algorithms, Electronic Colloquium on Computational Complexity, Report No. 99.l, 2005
- ↑ Valiant, Accidental algorithms, Proceedings of the 47th IEEE Symposium on Foundations of Computer Science, FOCS ’06, 2006, S. 509–517.
- ↑ Valiant, Vazirani NP is as easy as detecting unique solutions, Proceedings of the seventeenth annual ACM symposium on Theory of computing, 1985, S. 458–463.
Weblinks
- Homepage in Harvard (englisch)
- Videos von und über Leslie Valiant im AV-Portal der Technischen Informationsbibliothek