Prix Gödel
- 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 comité de lecture dans les 14 années précédentes.
Lauréats
- 1993 - László Babai, Shafi Goldwasser (en), Silvio Micali (en), Shlomo Moran (en) et Charles Rackoff (en) pour le développement de la notion de système de preuve interactive
- 1994 - Johan Håstad
- 1995 - Neil Immerman (en) et Róbert Szelepcsényi (en) pour leur théorème (en) reliant les classes NSPACE et co-NSPACE
- 1996 - Mark Jerrum (en) et Alistair Sinclair (en) pour leurs travaux sur les chaînes de Markov et l'approximation du permanent
- 1997 - Joseph Halpern (en) et Yoram Moses (en)
- 1998 - Seinosuke Toda (en) pour son théorème (en) reliant les classes PP et PH
- 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 (en), Uriel Feige (en), Shafi Goldwasser, Carsten Lund (en), László Lovász, Rajeev Motwani (en), Shmuel Safra (en), Madhu Sudan et Mario Szegedy pour leur théorème PCP (en)
- 2002 - Géraud Sénizergues, pour avoir démontré la décidabilité de l'égalité de deux langages reconnus par des automates à piles déterministes
- 2003 - Yoav Freund (en) et Robert Schapire (en) pour l'algorithme AdaBoost
- 2004 - Maurice Herlihy (en), Michael Saks (en), Nir Shavit (en) et Fotios Zaharoglou
- 2005 - Noga Alon (en), Yossi Matias et Mario Szegedy
- 2006 - Manindra Agrawal, Neeraj Kayal (en), Nitin Saxena (en) pour le test de primalité AKS
- 2007 - Alexander Razborov, Steven Rudich (en) pour leur article fondateur sur la preuve naturelle (en)
- 2008 - Shanghua Teng (en) et Daniel Spielman pour l'analyse lisse des algorithmes (smoothed analysis)
- 2009 - Omer Reingold (en), Salil Vadhan (en) et Avi Wigderson pour le produit zig-zag (en) de graphes
- 2010 - Sanjeev Arora et Joseph Mitchell (en) pour le schéma d'approximation polynomiale du problème du voyageur de commerce dans le cas euclidien.
- 2011 - Johan Håstad
Notes et références
Voir aussi
Article connexe
Liens externes
v · Sanjeev Aror (en), László Lovász, Joseph Mitchell (en) • 2009 : Omer Reingold (en), Salil Vadhan (en), Avi Wigderson • 2008 : Shanghua Teng (en), Daniel Spielman • 2007 : Alexander Razborov, Steven Rudich (en) • 2006 : Manindra Agrawal, Neeraj Kayal (en), Nitin Saxena (en) • 2005 : Noga Alon (en), Yossi Matias, Mario Szegedy • 2004 : Maurice Herlihy (en), Michael Saks (en), Nir Shavit (en), Fotios Zaharoglou • 2003 : Yoav Freund (en), Robert Schapire (en) • 2002 : Géraud Sénizergues • 2001 : Sanjeev Arora (en), Uriel Feige (en), Shafi Goldwasser (en), Carsten Lund (en), László Lovász, Rajeev Motwani (en), Shmuel Safra (en), Madhu Sudan, Mario Szegedy • 2000 : Moshe Vardi, Pierre Wolper • 1999 : Peter Shor • 1998 : Seinosuke Toda (en) • 1997 : Joseph Halpern (en), Yoram Moses (en) • 1996 : Mark Jerrum (en), Alistair Sinclair (en) • 1995 : Neil Immerman (en), Róbert Szelepcsényi (en) • 1994 : Johan Håstad •
1993 : László Babai, Shafi Goldwasser (en), Silvio Micali (en), Shlomo Moran (en) et Charles Rackoff (en)
|
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Prix Gödel de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
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… … 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