Prix Godel
- Prix Godel
-
Prix Gödel
Nommé en l'honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l'European Association for Theoretical Computer Science (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 5 000 USD. Pour être éligible, un article du récipiendaire 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écidabilité 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
- 2008 - Shanghua Teng et Daniel Spielman pour l'analyse lisse des algorithmes (smoothed analysis)
- 2009 - Omer Reingold, Salil Vadhan et Avi Wigderson pour le produit zig-zag de graphes
Voir aussi
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
|
Catégories : Distinction en mathématiques | Événement en informatique | Prix scientifique | Informatique théorique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Prix Godel de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Prix Gödel — Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et la théorie… … Wikipédia en Français
Gödel — Kurt Gödel Kurt Gödel Kurt Gödel (28 avril 1906 14 janvier 1978) est un mathématicien et logicien austro américain. Son résultat le plus connu, le théorème d incomplétude de Gödel, affirme q … Wikipédia en Français
Prix Turing — Pour les articles homonymes, voir Turing (homonymie). Le prix Turing ou ACM Turing Award, en hommage à Alan Turing (1912 1954), est attribué tous les ans depuis 1966 à une personne sélectionnée pour sa contribution de nature technique faite à la… … Wikipédia en Français
Prix Knuth — Le prix Knuth récompense les scientifiques ayant apporté une contribution exceptionnelle en informatique théorique. Il porte le nom de Donald E. Knuth, l un des plus grands contributeurs à l informatique théorique. Le prix Knuth est attribué tous … Wikipédia en Français
Godel, Escher, Bach, les brins d'une guirlande eternelle — Gödel, Escher, Bach, les brins d une guirlande éternelle Gödel, Escher, Bach : Les Brins d une Guirlande Eternelle Auteur Douglas Hofstadter Genre vulgarisation scientifique Version originale Titre original Gödel, Escher, Bach: an Eternal… … Wikipédia en Français
Gödel, Escher, Bach — Gödel, Escher, Bach, les brins d une guirlande éternelle Gödel, Escher, Bach : Les Brins d une Guirlande Eternelle Auteur Douglas Hofstadter Genre vulgarisation scientifique Version originale Titre original Gödel, Escher, Bach: an Eternal… … Wikipédia en Français
Gödel, Escher, Bach, Les Brins D'une Guirlande Éternelle — Gödel, Escher, Bach : Les Brins d une Guirlande Eternelle Auteur Douglas Hofstadter Genre vulgarisation scientifique Version originale Titre original Gödel, Escher, Bach: an Eternal Golden Braid Éditeur original … Wikipédia en Français
Gödel, Escher, Bach, les brins d'une guirlande éternelle — Gödel, Escher, Bach : Les Brins d une Guirlande Eternelle Auteur Douglas Hofstadter Genre vulgarisation scientifique Version originale Titre original Gödel, Escher, Bach: an Eternal Golden Braid Éditeur original … Wikipédia en Français
Gödel, escher, bach, les brins d'une guirlande éternelle — Gödel, Escher, Bach : Les Brins d une Guirlande Eternelle Auteur Douglas Hofstadter Genre vulgarisation scientifique Version originale Titre original Gödel, Escher, Bach: an Eternal Golden Braid Éditeur original … Wikipédia en Français
Gödel, Escher, Bach : les Brins d'une Guirlande Eternelle — Gödel, Escher, Bach : Les Brins d une Guirlande Eternelle Auteur Douglas Hofstadter Genre vulgarisation scientifique Version originale Titre original Gödel, Escher, Bach: an Eternal Golden Braid Éditeur original Basic Books La … Wikipédia en Français
