Prix de Gödel

Le prix de Gödel de est un prix pour les papiers exceptionnels dans le de l'informatique théorique, baptisé du nom de Kurt Gödel et attribué conjointement par l'association européenne de pour de l'informatique théorique (EATCS) et l'association de pour le groupe d'intérêt du matériel de calcul sur des algorithmes et la théorie de calcul ( ACM SIGACT ).

Le prix de Gödel est attribué annuellement, depuis le 1993 . Il inclut une récompense de $5000. Le prix est attribué au STOC (colloque de ACM sur la théorie de calculer , une des conférences nord-américaines de principal dans de l'informatique théorique) ou au ICALP (colloque international de de sur des automates, des langues, et de programmation, une des conférences européennes de principal dans le domaine). Pour être habilité au prix, un document doit être publié à un journal arbitré dans les 14 derniers (autrefois 7) des ans.

Gagnants

1993 - László Babai , Shafi Goldwasser , Silvio Micali , Shlomo Moran , et Charles Rackoff de

, pour le développement des systèmes interactifs de preuve de * 1994 - Johan Håstad , pour une limite inférieure exponentielle sur la taille des circuits booléens de constant-profondeur pour la fonction de parité de
1995 - Neil Immerman et Róbert Szelepcsényi pour le théorème d'Immerman-Szelepcsényi de
1996 - marque Jerrum et Alistair Sinclair
1997 - Joseph Halpern et Yoram Moïse
1998 - Seinosuke Toda
1999 - le Peter Shor , pour l'algorithme de Shor de pour le factorisant numérote dans le temps polynôme sur un ordinateur de Quantum de
2000 - Moshe Y. Vardi et Pierre Wolper
2001 - Sanjeev Arora , Uriel Feige , Shafi Goldwasser , Carsten Lund , László Lovász , Rajeev Motwani , Shmuel Safra , Madhu Soudan , et Mario Szegedy
2002 - Géraud Sénizergues , pour montrer que l'équivalence des automates de refoulement déterministes est le que l'on peut décider
2003 - Yoav Freund et Robert Schapire pour l'algorithme d'AdaBoost
2004 - Maurice Herlihy , Mike Saks , Nir Shavit et Fotios Zaharoglou pour des applications de la topologie à la théorie de l'informatique répartie
2005 - Noga Alon , Yossi Matias et Mario Szegedy
2006 - Manindra Agrawal , Neeraj Kayal , Nitin Saxena pour l'essai de primality du AKS
2007 - Alexandre Razborov , Steven Rudich pour les preuves normales

Random links: