El Premio Gödel es un premio anual para trabajos destacados en el área de la informática teórica , otorgado conjuntamente por la Asociación Europea de Ciencias de la Computación Teórica (EATCS) y el Grupo de Interés Especial de la Asociación para Maquinaria de Computación en Algoritmos y Teoría Computacional ( ACM SIGACT ). El premio lleva el nombre de Kurt Gödel . La conexión de Gödel con la informática teórica es que fue el primero en mencionar la pregunta " P versus NP ", en una carta de 1956 a John von Neumann en la que Gödel preguntaba si cierto problema NP-completo podría resolverse en tiempo cuadrático o lineal.[1]
El Premio Gödel se otorga desde 1993. El premio se otorga en STOC (ACM Symposium on Theory of Computing , una de las principales conferencias norteamericanas en informática teórica) o ICALP ( International Colloquium on Automata, Languages and Programming , una de las las principales conferencias europeas en la materia). Para ser elegible para el premio, un artículo debe haber sido publicado en una revista arbitrada dentro de los últimos 14 (anteriormente 7) años. El premio incluye una recompensa de US$5000. [2]
El ganador del Premio es seleccionado por un comité de seis miembros. El presidente de la EATCS y el presidente del SIGACT nombran cada uno a tres miembros del comité, para servir términos escalonados de tres años. El comité es presidido alternativamente por representantes de la EATCS y SIGACT.