Leslie Valiant 2005 am Mathematischen Forschungsinstitut Oberwolfach
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[ 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
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
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.
↑ Basic Science Lifetime Award 2024
↑ Eintrag auf der Internetseite der Academia Europaea
Weblinks
1966: Perlis |
1967: Wilkes |
1968: Hamming |
1969: Minsky |
1970: Wilkinson |
1971: McCarthy |
1972: Dijkstra |
1973: Bachman |
1974: Knuth |
1975: Newell , Simon |
1976: Rabin , Scott |
1977: Backus |
1978: Floyd |
1979: Iverson |
1980: Hoare |
1981: Codd |
1982: Cook |
1983: Thompson , Ritchie |
1984: Wirth |
1985: Karp |
1986: Hopcroft , Tarjan |
1987: Cocke |
1988: Sutherland |
1989: Kahan |
1990: Corbató |
1991: Milner |
1992: Lampson |
1993: Hartmanis , Stearns |
1994: Feigenbaum , Reddy |
1995: Blum |
1996: Pnueli |
1997: Engelbart |
1998: Gray |
1999: Brooks |
2000: Yao |
2001: Dahl , Nygaard |
2002: Rivest , Shamir , Adleman |
2003: Kay |
2004: Cerf , Kahn |
2005: Naur |
2006: Allen |
2007: Clarke , Emerson , Sifakis |
2008: Liskov |
2009: Thacker |
2010: Valiant |
2011: Pearl |
2012: Micali , Goldwasser |
2013: Lamport |
2014: Stonebraker |
2015: Diffie , Hellman |
2016: Berners-Lee |
2017: Hennessy , Patterson |
2018: Hinton , LeCun , Bengio |
2019: Catmull , Hanrahan |
2020: Aho , Ullman |
2021: Dongarra |
2022: Metcalfe |
2023: Wigderson