|
The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel.
The Gödel Prize is awarded annually, since 1993. It includes an award of $5000. The prize is awarded either at STOC (ACM Symposium on Theory of Computing, one of main North American conferences in theoretical computer science) or ICALP (International Colloquium on Automata, Languages, and Programming, one of main European conferences in the field). To be eligible for the prize, a paper must be published in a refereed journal within last 7 years.
Winners
- 1993 - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran, and Charles Rackoff
- 1994 - Johan Hĺstad
- 1995 - Neil Immerman and Róbert Szelepcsényi
- 1996 - Mark Jerrum and Alistair Sinclair
- 1997 - Joseph Halpern and Yoram Moses
- 1998 - Seinosuke Toda
- 1999 - Peter Shor
- 2000 - Moshe Vardi and Pierre Wolper
- 2001 - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, and Mario Szegedy
- 2002 - Géraud Sénizergues
- 2003 - Yoav Freund and Robert Schapire
- 2004 - Maurice Herlihy, Mike Saks, Nir Shavit and Fotios Zaharoglou
- 2005 - Noga Alon, Yossi Matias and Mario Szegedy
External link
- Prize website with list of winners (http://sigact.acm.org/prizes/godel/)