El Premio Gödel es un premio que se entrega a autores de artículos relacionados con teoría de la computación. El nombre del premio se debe al matemático Kurt Gödel, y es otorgado por la European Association for Theoretical Computer Science (EATCS) y el Special Interest Group on Algorithms and Computation Theory de la Association for Computing Machinery (ACM).

El Premio Gödel se entrega anualmente desde 1993, ya sea en el STOC (ACM Symposium on Theory of Computing), una de las principales conferencias de norteamérica en el área de informática teórica, o bien en el ICALP (International Colloquium on Automata, Languages, and Programming), una de las principales conferencias europeas en la misma área. Aparte de la distinción, incluye un bono de 5000 dólares. Como requisito para recibir el premio, el artículo ganador debe haber sido publicado en una revista científica hace máximo 14 años atrás (anteriormente eran sólo 7 años).

Ganadores

• 1993 - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran y Charles Rackoff, por el desarrollo de sistemas de demostración interactivos.
• 1994 - Johan Håstad, por encontrar una cota inferior exponencial en función del tamaño de profundidad-constante de un circuito booleano para la función paridad.
• 1995 - Neil Immerman y Róbert Szelepcsényi, por el Teorema de Immerman-Szelepcsényi.
• 1996 - Mark Jerrum y Alistair Sinclair
• 1997 - Joseph Halpern y Yoram Moses
• 1998 - Seinosuke Toda
• 1999 - Peter Shor, por el Algoritmo de Shor para factorizar números en tiempo polinomial en un computador cuántico
• 2000 - Moshe Y. Vardi y Pierre Wolper
• 2001 - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan y Mario Szegedy
• 2002 - Géraud Sénizergues, por demostrar que la equivalencia de autómatas de pila deterministas es decidible.
• 2003 - Yoav Freund y Robert Schapire, por el algoritmo AdaBoost
• 2004 - Maurice Herlihy, Mike Saks, Nir Shavit y Fotios Zaharoglou, por aplicar topología a la teoría de computación distribuida
• 2005 - Noga Alon, Yossi Matias y Mario Szegedy
• 2006 - Manindra Agrawal, Neeraj Kayal, Nitin Saxena, por el Test de primalidad AKS
• 2007 - Alexander Razborov y Steven Rudich, por las demostraciones naturales
• 2008 - Shanghua Teng y Daniel Spielman, por el análisis Smoothed de logaritmos

Enlaces externos

• Página del premio con la lista de ganadores