Der Gödel Preiswird jährlich seit 1993 für herausragende Arbeiten in der theoretischen Informatik von der European Association for Theoretical Computer Science (EATCS) und der der Association for Computing Machinery (ACM) Special Interest Group on Algorithms and Computation Theory (ACM SIGACT) verliehen. Er ist mit 5000 Dollar dotiert. Er wird auf der STOC (Symposium on Theory of Computing) der ACM in den USA oder der entsprechenden europäischen Konferenz, der ICALP (International Colloquium on Automata, Languages and Programming) verliehen. Die Arbeit darf nicht älter als 14 Jahre sein (anfangs sogar nicht älter als 7 Jahre).
Der Preis ist nach Kurt Gödel benannt.
Preisträger
- 1993 László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran, Charles Rackoff (Entwicklung von Interaktiven Beweissystemen)
- 1994 Johan Håstad (exponentielle untere Grenze für die Komplexität Boolescher Schaltkreise konstanter Tiefe)
- 1995 Neil Immerman,Róbert Szelepcsényi (Immerman-Szelepcsényi Theorem in deterministischer räumlicher Komplexität)
- 1996 Mark Jerrum, Alistair Sinclair (Arbeit über Markow-Ketten und Approximation der Permanente)
- 1997 Joseph Halpern,Yoram Moses (formale Definition des Begriffs „Wissen“ in verteilten Systemen)
- 1998 Seinosuke Toda (für Toda´s Theorem in seiner Arbeit „PP is as Hard as the Polynomial-Time Hierarchy“)
- 1999 Peter Shor (für seinen Quantencomputer-Algorithmus)
- 2000 Moshe Y. Vardi, Pierre Wolper (Model Checking bei Endlichen Automaten)
- 2001 Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, Mario Szegedy (für das PCP Theorem)
- 2002 Géraud Sénizergues (Beweis der Entscheidbarkeit der Frage der Äquivalenz deterministischer Pushdown-Automaten)
- 2003 Yoav Freund, Robert Schapire (AdaBoost Algorithmus)
- 2004 Maurice Herlihy, Mike Saks, Nir Shavit,Fotios Zaharoglou (für Anwendungen der Topologie in Theorie der Berechenbarkeit in verteilten Systemen)
- [[[Noga Alon]], Yossi Matias,Mario Szegedy (für fundamental Beiträge zu Strom-Algorithmen)
- 2006 Manindra Agrawal, Neeraj Kayal, Nitin Saxena (für ihren polynomialen Primzahltest)
- 2007 Alexander Razborov, Steven Rudich (für ihre Arbeit „Natural Proof“)
- 2008 Shanghua Teng, Daniel Spielman („smoothed analysis“ von Algorithmen)
- 2009 Omer Reingold, Salil Vadhan, Avi Wigderson (zig-zag Produkt von Graphen)
|}