Leslie Valiant
Leslie Gabriel Valiant (* 28. März 1949 in Budapest, Ungarn) ist ein britischer Informatiker und Turingpreisträger.
Studium und Forschung
[Bearbeiten | Quelltext bearbeiten]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[1]), 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).[2][3][4]
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.[5]
Zu seinen Doktoranden zählt Mark Jerrum.
Auszeichnungen
[Bearbeiten | Quelltext bearbeiten]1986 erhielt er den Nevanlinna-Preis, 1997 den Knuth-Preis für Informatik, 2008 den EATCS-Award und 2010 den Turing Award. 2024 wurde er mit dem Basic Science Lifetime Award for Theoretical Computer Sciences ausgezeichnet.[6]
Er ist Fellow der Royal Society, Mitglied der National Academy of Sciences und seit 2019 Auswärtiges Mitglied der Academia Europaea,[7] seit 2022 Mitglied 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
[Bearbeiten | Quelltext bearbeiten]- Circuits of the mind. Oxford University Press, 1994, 2000
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ 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.
- ↑ Basic Science Lifetime Award 2024
- ↑ Eintrag auf der Internetseite der Academia Europaea
Weblinks
[Bearbeiten | Quelltext bearbeiten]
- Homepage in Harvard (englisch)
- Videos von und über Leslie Valiant im AV-Portal der Technischen Informationsbibliothek
| Personendaten | |
|---|---|
| NAME | Valiant, Leslie |
| ALTERNATIVNAMEN | Valiant, Leslie G.; Valiant, Leslie Gabriel (vollständiger Name) |
| KURZBESCHREIBUNG | britischer Informatiker |
| GEBURTSDATUM | 28. März 1949 |
| GEBURTSORT | Budapest, Ungarn |