Premio Gödel
| ||||||
Premio Gödel. 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, por el trabajo en las Cadenas Markov y la aproximación de el permanente.
- 1997 - Joseph Halpern y Yoram Moses, por definir una noción formal de "conocimiento" en ambientes distribuídos.
- 1998 - Seinosuke Toda, por el Teorema Toda, con el cual mostró una conexión entre las Soluciones de Conteo (PP) y la alternancia de cuantificadores.
- 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, por trabajar en el chequeo modelo con autómatas finitos.
- 2001 - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan y Mario Szegedy, por el Teorema PCP y sus aplicaciones a la resistencia de aproximación.
- 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, por su contribución fundacional a los Streaming Algorithms.
- 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
- 2009 - Omer Reingold, Avi Wigderson y Salil Vadhan, por el análisis de SL (complejidad)
- 2010 - Sanjeev Arora, Joseph S. B. Mitchell, por su descubrimiento simultáneo de un Esquema de Aproximación tiempo-polinomial para el Problema del Vendedor Viajero.
Enlaces externos
Página del premio con la lista de ganadores
