Prix Gödel
Un article de Wikipédia, l'encyclopédie libre.
Nommé en l'honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l'Association européenne d'informatique théorique (EATCS), l'Association for Computing Machinery (ACM) et le groupe de l'ACM sur l'algorithmique et la théorie du calcul (SIGACT) pour honorer des travaux remarquables d'informatique théorique.
Le Prix Gödel est attribué annuellement depuis 1993 et comporte une récompense de 5000 dollars. Pour être éligible, un article doit avoir été publié dans un journal avec revue dans les 14 années précédentes.
[] Lauréats
- 1993 - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran et Charles Rackoff pour le développement de la notion de Système de preuve interactive
- 1994 - Johan Håstad
- 1995 - Neil Immerman et Róbert Szelepcsényi
- 1996 - Mark Jerrum et Alistair Sinclair
- 1997 - Joseph Halpern et Yoram Moses
- 1998 - Seinosuke Toda
- 1999 - Peter Shor pour l'algorithme de Shor, qui permet de factoriser les nombres en temps polynomial sur un ordinateur quantique
- 2000 - Moshe Vardi et Pierre Wolper
- 2001 - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan et Mario Szegedy
- 2002 - Géraud Sénizergues, pour avoir démontré la décibalité de l'égalité de deux langages reconnus par des automates à piles.
- 2003 - Yoav Freund et Robert Schapire
- 2004 - Maurice Herlihy, Mike Saks, Nir Shavit et Fotios Zaharoglou
- 2005 - Noga Alon, Yossi Matias et Mario Szegedy
- 2006 - Manindra Agrawal, Neeraj Kayal, Nitin Saxena pour le test de primalité AKS
- 2007 - Alexander Razborov, Steven Rudich
[] Lien interne
[] Lien externe
| Lauréats du prix Gödel | |
|
2006 : Manindra Agrawal, Neeraj Kayal, Nitin Saxena - 2005 : Noga Alon, Yossi Matias, Mario Szegedy - 2004 : Maurice Herlihy, Mike Saks, Nir Shavit, Fotios Zaharoglou - 2003 : Yoav Freund, Robert Schapire - 2002 : Géraud Sénizergues - 2001 : Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, Mario Szegedy - 2000 : Moshe Vardi, Pierre Wolper - 1999 : Peter Shor - 1998 : Seinosuke Toda - 1997 : Joseph Halpern, Yoram Moses - 1996 : Mark Jerrum, Alistair Sinclair - 1995 : Neil Immerman, Róbert Szelepcsényi - 1994 : Johan Håstad - 1993 : László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran, Charles Rackoff |
|
Mirror2
La source est wikipedia http://fr.wikipedia.org/wiki/ Prix Gödel
Revue de presse Prix_Gödel
