Leslie Valiant

Leslie Gabriel Valiant (* 28. März 1949 in Budapest, Ungarn) ist ein britischer Informatiker und Turingpreisträger.

Leslie Valiant 2005 in Oberwolfach

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.

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.[2]

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. 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
  1. Valiant: The Complexity of Computing the Permanent, Theoretical Computer Science, Band 8, 1979, S. 189–201
  2. 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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.