Aller au contenu

« Prix Gödel » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Navigation interactive dans l’historique
← Modification précédente
Contenu supprimé Contenu ajouté
VisuelWikicode
Roll-Morton (discuter | contributions)
19 003 modifications
m →Lauréats : typo
Corto80 (discuter | contributions)
922 modifications
 
(25 versions intermédiaires par 14 utilisateurs non affichées)
Ligne 19 : Ligne 19 :


== Description ==
== Description ==
Le prix Gödel est attribué annuellement depuis 1993 et comporte une récompense de {{unité|5000|[[Dollar américain|USD]]}}. Le prix distingue un article, plutôt qu'un individu. Pour être éligible, l'article du récipiendaire doit avoir été publié dans un journal avec comité de lecture dans les 14 années précédentes<ref>[http://www.eatcs.org/index.php/goedel-prize Premiers paragraphes de la page du prix]</ref>. Le prix Gödel est considéré comme l'un des deux plus grands prix internationaux en informatique, avec le [[prix Turing]]<ref>{{article |langue=fr |auteur=Jacques Stern|lien auteur = Jacques Stern (cryptologue) |titre= Antoine Joux, Prix Gödel 2013|périodique=1024 - Bulletin de la société informatique de France |volume= |numéro=1 |mois=septembre |année=2013 |pages=107-110 |issn= |lire en ligne= http://1024.labri.fr/1024-numero-1-joux.pdf }}</ref>.
Le prix Gödel est attribué annuellement depuis 1993 et comporte une récompense de {{unité|5000|[[Dollar américain|USD]]}}. Le prix distingue un article, plutôt qu'un individu. Pour être éligible, l'article du récipiendaire doit avoir été publié dans un journal avec comité de lecture dans les 14 années précédentes<ref>[http://www.eatcs.org/index.php/goedel-prize Premiers paragraphes de la page du prix]</ref>. Le prix Gödel est considéré comme l'un des deux plus grands prix internationaux en informatique, avec le [[prix Turing]]<ref>{{article |langue=fr |auteur=Jacques Stern|lien auteur = Jacques Stern (cryptologue) |titre= Antoine Joux, Prix Gödel 2013|périodique=1024 - Bulletin de la société informatique de France |numéro=1 |mois=septembre |année=2013 |pages=107-110 |lire en ligne= http://1024.labri.fr/1024-numero-1-joux.pdf }}</ref>.


Le prix est nommé en l'honneur de Kurt Gödel, pour ses travaux en logique mathématique, et son intuition du [[problème P=NP]]<ref>Sur le site de l'EATCS : '' Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before Neumann's death, in what has become the famous "P versus NP" question.''</ref>.
Le prix est nommé en l'honneur de Kurt Gödel, pour ses travaux en [[logique mathématique]], et son intuition du [[problème P=NP]]<ref>Sur le site de l'EATCS : '' Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before Neumann's death, in what has become the famous "P versus NP" question.''</ref>.


== Lauréats ==
== Lauréats ==
Ligne 31 : Ligne 31 :
|-
|-
|[[1993]]
|[[1993]]
|[[László Babai]] ([[Hongrie]]) et [[Shlomo Moran]]<ref group="A">{{article | nom1=Babai | prénom1=László | nom2=Moran | prénom2=Shlomo | titre=Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class | url=http://crypto.cs.mcgill.ca/~crepeau/COMP647/2007/TOPIC01/AMgames-Babai-Moran.pdf | année=1988 | journal=Journal of Computer and System Sciences | volume=36 | numéro=2 | pages=254–276 | doi=10.1016/0022-0000(88)90028-1}}</ref> ([[Israël]]), [[Shafi Goldwasser]] ([[Israël]]/[[États-Unis]]), [[Silvio Micali]] ([[Italie]]/[[États-Unis]]) et [[Charles Rackoff]]<ref group="A">{{article | nom1=Goldwasser | prénom1=S. | nom2=Micali | prénom2=S. | nom3=Rackoff | prénom3=C. | titre=The knowledge complexity of interactive proof systems | url=http://crypto.cs.mcgill.ca/~crepeau/COMP647/2007/TOPIC02/GMR89.pdf | année=1989 | journal=SIAM Journal on Computing | volume=18 | numéro=1 | pages=186–208 | doi=10.1137/0218012}}</ref> ([[États-Unis]])
|[[László Babai]] ({{Hongrie}}) et [[Shlomo Moran]]<ref group="A">{{article | nom1=Babai | prénom1=László | nom2=Moran | prénom2=Shlomo | titre=Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class | url=http://crypto.cs.mcgill.ca/~crepeau/COMP647/2007/TOPIC01/AMgames-Babai-Moran.pdf | année=1988 | journal=Journal of Computer and System Sciences | volume=36 | numéro=2 | pages=254–276 | doi=10.1016/0022-0000(88)90028-1}}</ref> ({{Israël}}), [[Shafi Goldwasser]] ({{Israël}}/{{États-Unis}}), [[Silvio Micali]] ({{Italie}}/{{États-Unis}}) et [[Charles Rackoff]]<ref group="A">{{article | nom1=Goldwasser | prénom1=S. | nom2=Micali | prénom2=S. | nom3=Rackoff | prénom3=C. | titre=The knowledge complexity of interactive proof systems | url=http://crypto.cs.mcgill.ca/~crepeau/COMP647/2007/TOPIC02/GMR89.pdf | année=1989 | journal=SIAM Journal on Computing | volume=18 | numéro=1 | pages=186–208 | doi=10.1137/0218012}}</ref> ({{États-Unis}})
|Développement de la notion de [[système de preuve interactive]]
|Développement de la notion de [[système de preuve interactive]]
|-
|-
|[[1994]]
|[[1994]]
|[[Johan Håstad]]<ref group="A">{{chapitre | nom1=Håstad | prénom1=Johan | titre ouvrage=Randomness and Computation | collection=Advances in Computing Research | numéro dans collection=5 | titre chapitre=Almost Optimal Lower Bounds for Small Depth Circuits | auteurs ouvrage=Silvio Micali (éditeur) | url=http://reference.kfupm.edu.sa/content/a/l/almost_optimal_lower_bounds_for_small_de_134215.pdf | éditeur=JAI Press | année=1989 | chapter=Almost Optimal Lower Bounds for Small Depth Circuits | passage=6–20 | isbn=0-89232-896-7 | consulté le=5 décembre 2009 | archiveurl=https://web.archive.org/web/20120222163102/http://reference.kfupm.edu.sa/content/a/l/almost_optimal_lower_bounds_for_small_de_134215.pdf | archivedate=22 février 2012 | brisé le=23 juillet 2018 }}</ref> ([[Suède]])
|[[Johan Håstad]]<ref group="A">{{chapitre | nom1=Håstad | prénom1=Johan | titre ouvrage=Randomness and Computation | collection=Advances in Computing Research | numéro dans collection=5 | titre chapitre=Almost Optimal Lower Bounds for Small Depth Circuits | auteurs ouvrage=Silvio Micali (éditeur) | url=http://reference.kfupm.edu.sa/content/a/l/almost_optimal_lower_bounds_for_small_de_134215.pdf | éditeur=JAI Press | année=1989 | chapter=Almost Optimal Lower Bounds for Small Depth Circuits | passage=6–20 | isbn=0-89232-896-7 | consulté le=5 décembre 2009 | archiveurl=https://web.archive.org/web/20120222163102/http://reference.kfupm.edu.sa/content/a/l/almost_optimal_lower_bounds_for_small_de_134215.pdf | archivedate=22 février 2012 | brisé le=23 juillet 2018 }}</ref> ({{Suède}})
|[[Borne supérieure et borne inférieure|Bornes]] sur des problèmes de [[circuit booléen|circuits booléens]], et en particulier sur la [[fonction parité]]
|[[Borne supérieure et borne inférieure|Bornes]] sur des problèmes de [[circuit booléen|circuits booléens]], et en particulier sur la [[fonction parité]]
|-
|-
|[[1995]]
|[[1995]]
|[[Neil Immerman]]<ref group="A">{{article | nom1=Immerman | prénom1=Neil | lien auteur1=Neil Immerman | titre=Nondeterministic space is closed under complementation | url=http://www.cs.umass.edu/~immerman/pub/space.pdf | année=1988 | journal=SIAM Journal on Computing | issn=1095-7111 | volume=17 | numéro=5 | pages=935–938 | doi=10.1137/0217058}}</ref> ([[États-Unis]]) et [[Róbert Szelepcsényi]]<ref group="A">{{article | nom1=Szelepcsényi | prénom1=R. | titre=The method of forced enumeration for nondeterministic automata | année=1988 | journal=''[[Acta Informatica]]'' | volume=26 | numéro=3 | pages=279–284 | doi=10.1007/BF00299636}}</ref> ([[Slovaquie]])
|[[Neil Immerman]]<ref group="A">{{article | nom1=Immerman | prénom1=Neil | lien auteur1=Neil Immerman | titre=Nondeterministic space is closed under complementation | url=http://www.cs.umass.edu/~immerman/pub/space.pdf | année=1988 | journal=SIAM Journal on Computing | issn=1095-7111 | volume=17 | numéro=5 | pages=935–938 | doi=10.1137/0217058}}</ref> ({{États-Unis}}) et [[Róbert Szelepcsényi]]<ref group="A">{{article | nom1=Szelepcsényi | prénom1=R. | titre=The method of forced enumeration for nondeterministic automata | année=1988 | journal=''[[Acta Informatica]]'' | volume=26 | numéro=3 | pages=279–284 | doi=10.1007/BF00299636}}</ref> ({{Slovaquie}})
|[[Théorème d'Immerman-Szelepcsényi|Leur théorème]] reliant les classes NSPACE et co-NSPACE
|[[Théorème d'Immerman-Szelepcsényi|Leur théorème]] reliant les classes [[NSPACE]] et co-NSPACE
|-
|-
|[[1996]]
|[[1996]]
|[[Mark Jerrum]]<ref group="A">{{article | nom1=Jerrum | prénom1=Mark | nom2=Sinclair | prénom2=Alistair | titre=Approximating the permanent |année=1989 | journal=SIAM Journal on Computing | issn=1095-7111 | volume=18 | numéro=6 | pages=1149–1178 | doi=10.1137/0218077}}</ref> ([[Royaume-Uni]]) et [[Alistair Sinclair]]<ref group="A">{{article | nom1=Sinclair | prénom1=Alistair | nom2=Jerrum | prénom2=Mark | titre=Approximate counting, uniform generation and rapidly mixing Markov chains | année=1989 | journal=''[[Information and Computation]]'' | volume=82 | numéro=1 | pages=93–133 | doi=10.1016/0890-5401(89)90067-9}}</ref> ([[Royaume-Uni]])
|[[Mark Jerrum]]<ref group="A">{{article | nom1=Jerrum | prénom1=Mark | nom2=Sinclair | prénom2=Alistair | titre=Approximating the permanent |année=1989 | journal=SIAM Journal on Computing | issn=1095-7111 | volume=18 | numéro=6 | pages=1149–1178 | doi=10.1137/0218077}}</ref> ({{Royaume-Uni}}) et [[Alistair Sinclair]]<ref group="A">{{article | nom1=Sinclair | prénom1=Alistair | nom2=Jerrum | prénom2=Mark | titre=Approximate counting, uniform generation and rapidly mixing Markov chains | année=1989 | journal=''[[Information and Computation]]'' | volume=82 | numéro=1 | pages=93–133 | doi=10.1016/0890-5401(89)90067-9}}</ref> ({{Royaume-Uni}})
|Leurs travaux sur les [[Chaîne de Markov|chaînes de Markov]] et l'approximation du [[Permanent (mathématiques)|permanent]]
|Leurs travaux sur les [[Chaîne de Markov|chaînes de Markov]] et l'approximation du [[Permanent (mathématiques)|permanent]]
|-
|-
|[[1997]]
|[[1997]]
|[[Joseph Halpern]] ([[États-Unis]]) et [[Yoram Moses]]<ref group="A">{{article| nom1=Halpern | prénom1=Joseph | lien auteur1=Joseph Halpern
|[[Joseph Halpern]] ({{États-Unis}}) et [[Yoram Moses]]<ref group="A">{{article| nom1=Halpern | prénom1=Joseph | lien auteur1=Joseph Halpern
| nom2=Moses | prénom2=Yoram | lien auteur2=Yoram Moses| titre=Knowledge and common knowledge in a distributed environment| journal=Journal of the ACM| volume=37| année=1990| pages=549–587| doi=10.1145/79147.79161| numéro=3}}</ref> ([[Israël]])
| nom2=Moses | prénom2=Yoram | lien auteur2=Yoram Moses| titre=Knowledge and common knowledge in a distributed environment| journal=Journal of the ACM| volume=37| année=1990| pages=549–587| doi=10.1145/79147.79161| numéro=3}}</ref> ({{Israël}})
|Le développement de la notion d'information dans le contexte des systèmes distribués
|Le développement de la notion d'information dans le contexte des systèmes distribués
|-
|-
|[[1998]]
|[[1998]]
|[[Seinosuke Toda]] ([[Japon]])
|[[Seinosuke Toda]] ({{Japon}})
|[[Théorème de Toda|Son théorème]]<ref group="A">{{article | nom1=Toda | prénom1=Seinosuke | titre=PP is as hard as the polynomial-time hierarchy | url=http://faculty.cs.tamu.edu/chen/courses/637/2008/pres/korben.pdf | année=1991 | journal=SIAM Journal on Computing | volume=20 | numéro=5 | pages=865–877 | doi=10.1137/0220053}}</ref> reliant les [[théorie de la complexité (informatique théorique)|classes de complexité]] [[PP (complexité)|PP]] et [[hiérarchie polynomiale|PH]]
|[[Théorème de Toda|Son théorème]]<ref group="A">{{article | nom1=Toda | prénom1=Seinosuke | titre=PP is as hard as the polynomial-time hierarchy | url=http://faculty.cs.tamu.edu/chen/courses/637/2008/pres/korben.pdf | année=1991 | journal=SIAM Journal on Computing | volume=20 | numéro=5 | pages=865–877 | doi=10.1137/0220053}}</ref> reliant les [[théorie de la complexité (informatique théorique)|classes de complexité]] [[PP (complexité)|PP]] et [[hiérarchie polynomiale|PH]]
|-
|-
|[[1999]]
|[[1999]]
|[[Peter Shor]] ([[États-Unis]])
|[[Peter Shor]] ({{États-Unis}})
|L'[[algorithme de Shor]] <ref group="A">{{article | nom1=Shor | prénom1=Peter W. | titre=Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer | url=http://physics.princeton.edu/~mcdonald/examples/QM/shor_siamjc_26_1484_97.pdf | année=1997 | journal=SIAM Journal on Computing | volume=26 | numéro=5 | pages=1484–1509 | doi=10.1137/S0097539795293172 |=}}</ref>, qui permet de factoriser les nombres en temps polynomial sur un [[ordinateur quantique]]
|L'[[algorithme de Shor]] <ref group="A">{{article | nom1=Shor | prénom1=Peter W. | titre=Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer | url=http://physics.princeton.edu/~mcdonald/examples/QM/shor_siamjc_26_1484_97.pdf | année=1997 | journal=SIAM Journal on Computing | volume=26 | numéro=5 | pages=1484–1509 | doi=10.1137/S0097539795293172 }}</ref>, qui permet de factoriser les nombres en temps polynomial sur un [[ordinateur quantique]]
|-
|-
|[[2000]]
|[[2000]]
|[[Moshe Vardi]] ([[Israël]]) et [[Pierre Wolper]] ([[Belgique]])
|[[Moshe Vardi]] ({{Israël}}) et [[Pierre Wolper]] ({{Belgique}})
|Leur travail<ref group="A">{{article | nom1=Vardi | prénom1=Moshe Y. | nom2=Wolper | prénom2=Pierre | titre=Reasoning about infinite computations | url=http://reference.kfupm.edu.sa/content/r/e/reasoning_about_infinite_computations__102167.pdf | année=1994 | journal=''[[Information and Computation]]'' | volume=115 | numéro=1 | pages=1–37 | doi=10.1006/inco.1994.1092 | archiveurl=https://web.archive.org/web/20110825210914/http://reference.kfupm.edu.sa/content/r/e/reasoning_about_infinite_computations__102167.pdf | archivedate=25 août 2011 | brisé le= }}</ref> sur la [[logique temporelle]] dans le cadre des [[Automate fini|automates finis]]
|Leur travail<ref group="A">{{article | nom1=Vardi | prénom1=Moshe Y. | nom2=Wolper | prénom2=Pierre | titre=Reasoning about infinite computations | année=1994 | journal=''[[Information and Computation]]'' | volume=115 | numéro=1 | pages=1–37 | doi=10.1006/inco.1994.1092 | archiveurl=https://web.archive.org/web/20110825210914/http://reference.kfupm.edu.sa/content/r/e/reasoning_about_infinite_computations__102167.pdf | archivedate=25 août 2011 }}</ref> sur la [[logique temporelle]] dans le cadre des [[Automate fini|automates finis]]
|-
|-
|[[2001]]
|[[2001]]
|[[Sanjeev Arora]] ([[États-Unis]]), [[Uriel Feige]] ([[Israël]]), [[Shafi Goldwasser]] ([[Israël]]/[[États-Unis]]), [[Carsten Lund]] ([[Danemark]]), [[László Lovász]] ([[Hongrie]]/[[États-Unis]]), [[Rajeev Motwani]] ([[Inde]]), [[Shmuel Safra]] ([[Israël]]), [[Madhu Sudan]] ([[États-Unis]]) et [[Mario Szegedy]] ([[Hongrie]]/[[États-Unis]])
|[[Sanjeev Arora]] ({{États-Unis}}), [[Uriel Feige]] ({{Israël}}), [[Shafi Goldwasser]] ({{Israël}}/{{États-Unis}}), [[Carsten Lund]] ({{Danemark}}), [[László Lovász]] ({{Hongrie}}/{{États-Unis}}), [[Rajeev Motwani]] ({{Inde}}), [[Shmuel Safra]] ({{Israël}}), [[Madhu Sudan]] ({{États-Unis}}) et [[Mario Szegedy]] ({{Hongrie}}/{{États-Unis}})
|Leur [[théorème PCP]]<ref group="A">{{article | nom1=Feige | prénom1=Uriel | nom2=Goldwasser | prénom2=Shafi | nom3=Lovász | prénom3=Laszlo | nom4=Safra | prénom4=Shmuel | nom5=Szegedy | prénom5=Mario | titre=Interactive proofs and the hardness of approximating cliques | url=http://groups.csail.mit.edu/cis/pubs/shafi/1996-jacm.pdf | année=1996 | journal=Journal of the ACM | volume=43 | numéro=2 | pages=268–292 | doi=10.1145/226643.226652}}</ref>{{,}}<ref group="A">{{article | nom1=Arora | prénom1=Sanjeev | nom2=Safra | prénom2=Shmuel | titre=Probabilistic checking of proofs: a new characterization of NP | url=http://www.cs.umd.edu/~gasarch/pcp/AS.pdf | année=1998 | journal=Journal of the ACM | volume=45 | numéro=1 | pages=70–122 | doi=10.1145/273865.273901 | archiveurl=https://web.archive.org/web/20110610101051/http://www.cs.umd.edu/~gasarch/pcp/AS.pdf | archivedate=10 juin 2011 | brisé le= }}</ref>{{,}}<ref group="A">{{article | nom1=Arora | prénom1=Sanjeev | nom2=Lund | prénom2=Carsten | nom3=Motwani | prénom3=Rajeev | nom4=Sudan | prénom4=Madhu | nom5=Szegedy | prénom5=Mario | titre=Proof verification and the hardness of approximation problems | url=https://www.cs.umd.edu/~gasarch/pcp/ALMSS.pdf | année=1998 | journal=Journal of the ACM | volume=45 | numéro=3 | pages=501–555 | doi=10.1145/278298.278306 | archiveurl=https://web.archive.org/web/20110610101241/https://www.cs.umd.edu/~gasarch/pcp/ALMSS.pdf | archivedate=10 juin 2011 | brisé le= }}</ref>
|Leur [[théorème PCP]]<ref group="A">{{article | nom1=Feige | prénom1=Uriel | nom2=Goldwasser | prénom2=Shafi | nom3=Lovász | prénom3=Laszlo | nom4=Safra | prénom4=Shmuel | nom5=Szegedy | prénom5=Mario | titre=Interactive proofs and the hardness of approximating cliques | url=http://groups.csail.mit.edu/cis/pubs/shafi/1996-jacm.pdf | année=1996 | journal=Journal of the ACM | volume=43 | numéro=2 | pages=268–292 | doi=10.1145/226643.226652}}</ref>{{,}}<ref group="A">{{article | nom1=Arora | prénom1=Sanjeev | nom2=Safra | prénom2=Shmuel | titre=Probabilistic checking of proofs: a new characterization of NP | url=http://www.cs.umd.edu/~gasarch/pcp/AS.pdf | année=1998 | journal=Journal of the ACM | volume=45 | numéro=1 | pages=70–122 | doi=10.1145/273865.273901 | archiveurl=https://web.archive.org/web/20110610101051/http://www.cs.umd.edu/~gasarch/pcp/AS.pdf | archivedate=10 juin 2011 }}</ref>{{,}}<ref group="A">{{article | nom1=Arora | prénom1=Sanjeev | nom2=Lund | prénom2=Carsten | nom3=Motwani | prénom3=Rajeev | nom4=Sudan | prénom4=Madhu | nom5=Szegedy | prénom5=Mario | titre=Proof verification and the hardness of approximation problems | url=https://www.cs.umd.edu/~gasarch/pcp/ALMSS.pdf | année=1998 | journal=Journal of the ACM | volume=45 | numéro=3 | pages=501–555 | doi=10.1145/278298.278306 | archiveurl=https://web.archive.org/web/20110610101241/https://www.cs.umd.edu/~gasarch/pcp/ALMSS.pdf | archivedate=10 juin 2011 }}</ref>
|-
|-
|[[2002]]
|[[2002]]
|[[Géraud Sénizergues]] ([[France]])
|[[Géraud Sénizergues]] ({{France}})
|Avoir démontré la [[décidabilité]]<ref group="A">{{article | nom1=Sénizergues | prénom1=Géraud | titre=L(A) = L(B)? decidability results from complete formal systems | année=2001 | journal=Theor. Comput. Sci. | volume=251 | numéro=1 | pages=1–166 | doi=10.1016/S0304-3975(00)00285-1}}</ref> de l'égalité de deux [[Langage formel|langages]]
|Avoir démontré la [[décidabilité]]<ref group="A">{{article | nom1=Sénizergues | prénom1=Géraud | titre=L(A) = L(B)? decidability results from complete formal systems | année=2001 | journal=Theor. Comput. Sci. | volume=251 | numéro=1 | pages=1–166 | doi=10.1016/S0304-3975(00)00285-1}}</ref> de l'égalité de deux [[Langage formel|langages]] reconnus par des [[Automate à pile|automates à piles]] déterministes
reconnus par des [[Automate à pile|automates à piles]] déterministes
|-
|-
|[[2003]]
|[[2003]]
|[[Yoav Freund]] ([[Israël]]) et [[Robert Schapire]] ([[États-Unis]])
|[[Yoav Freund]] ({{Israël}}) et [[Robert Schapire]] ({{États-Unis}})
|L'algorithme [[AdaBoost]] en [[apprentissage automatique]]<ref group="A">{{article | nom1=Freund | prénom1=Y. | nom2=Schapire | prénom2=R.E. | titre=A decision-theoretic generalization of on-line learning and an application to boosting | url=http://www-ai.cs.tu-dortmund.de/LEHRE/PG/PG445/literatur/freund_schapire_97a.pdf | année=1997 | journal=Journal of Computer and System Sciences | volume=55 | numéro=1 | pages=119–139 | doi=10.1006/jcss.1997.1504}}</ref>
|L'algorithme [[AdaBoost]] en [[apprentissage automatique]]<ref group="A">{{article | nom1=Freund | prénom1=Y. | nom2=Schapire | prénom2=R.E. | titre=A decision-theoretic generalization of on-line learning and an application to boosting | url=http://www-ai.cs.tu-dortmund.de/LEHRE/PG/PG445/literatur/freund_schapire_97a.pdf | année=1997 | journal=Journal of Computer and System Sciences | volume=55 | numéro=1 | pages=119–139 | doi=10.1006/jcss.1997.1504}}</ref>
|-
|-
|[[2004]]
|[[2004]]
|[[Maurice Herlihy]] ([[États-Unis]]), [[Michael Saks]] ([[États-Unis]]), [[Nir Shavit]] ([[Israël]]), [[Fotios Zaharoglou]] ([[Grèce]])
|[[Maurice Herlihy]] ({{États-Unis}}), [[Michael Saks]] ({{États-Unis}}), [[Nir Shavit]] ({{Israël}}), [[Fotios Zaharoglou]] ({{Grèce}})
|L'application de notions de [[topologie]] au [[calcul distribué]]<ref group="A">{{article| auteur1=Maurice Herlihy| auteur2=Nir Shavit| titre=The topological structure of asynchronous computation| journal=Journal of the ACM| volume=46| année=1999| pages=858–923| doi=10.1145/331524.331529| url=http://www.cs.brown.edu/~mph/HerlihyS99/p858-herlihy.pdf
|L'application de notions de [[topologie]] au [[calcul distribué]]<ref group="A">{{article| auteur1=Maurice Herlihy| auteur2=Nir Shavit| titre=The topological structure of asynchronous computation| journal=Journal of the ACM| volume=46| année=1999| pages=858–923| doi=10.1145/331524.331529| url=http://www.cs.brown.edu/~mph/HerlihyS99/p858-herlihy.pdf
| numéro=6}}</ref>{{,}}<ref group="A">{{article| titre=Wait-free ''k''-set agreement is impossible: The topology of public knowledge | auteur1=[[Michael Saks]] | nom2=Zaharoglou | prénom2=Fotios | lien auteur2=Fotios Zaharoglou | journal=SIAM Journal on Computing | volume=29 | année=2000 | pages=1449–1483| doi=10.1137/S0097539796307698 | numéro=5}}</ref>
| numéro=6}}</ref>{{,}}<ref group="A">{{article| titre=Wait-free ''k''-set agreement is impossible: The topology of public knowledge | auteur1=[[Michael Saks]] | nom2=Zaharoglou | prénom2=Fotios | lien auteur2=Fotios Zaharoglou | journal=SIAM Journal on Computing | volume=29 | année=2000 | pages=1449–1483| doi=10.1137/S0097539796307698 | numéro=5}}</ref>
|-
|-
|[[2005]]
|[[2005]]
|[[Noga Alon]] ([[Israël]]), [[Yossi Matias]] ([[Israël]]) et [[Mario Szegedy]] ([[Hongrie]])
|[[Noga Alon]] ({{Israël}}), [[Yossi Matias]] ({{Israël}}) et [[Mario Szegedy]] ({{Hongrie}})
|Leurs contributions<ref group="A">{{article | nom1=Alon | prénom1=Noga | lien auteur1=Noga Alon | nom2=Matias | prénom2=Yossi | nom3=Szegedy | prénom3=Mario | journal=Journal of Computer and System Sciences | url=http://www.math.tau.ac.il/~noga/PDFS/amsz4.pdf | année=1999 | titre=The space complexity of approximating the frequency moments | volume=58 | numéro=1 | pages=137–147 | doi=10.1006/jcss.1997.1545}}</ref> aux [[Algorithme de fouille de flots de données|algorithmes de fouille de flots de données]]
|Leurs contributions<ref group="A">{{article | nom1=Alon | prénom1=Noga | lien auteur1=Noga Alon | nom2=Matias | prénom2=Yossi | nom3=Szegedy | prénom3=Mario | journal=Journal of Computer and System Sciences | url=http://www.math.tau.ac.il/~noga/PDFS/amsz4.pdf | année=1999 | titre=The space complexity of approximating the frequency moments | volume=58 | numéro=1 | pages=137–147 | doi=10.1006/jcss.1997.1545}}</ref> aux [[Algorithme de fouille de flots de données|algorithmes de fouille de flots de données]]
|-
|-
|[[2006]]
|[[2006]]
|[[Manindra Agrawal]] ([[Inde]]), [[Neeraj Kayal]] ([[Inde]]) et [[Nitin Saxena]] ([[Inde]])
|[[Manindra Agrawal]] ({{Inde}}), [[Neeraj Kayal]] ({{Inde}}) et [[Nitin Saxena]] ({{Inde}})
|Le [[test de primalité AKS]]<ref group="A">{{article | auteur1=Manindra Agrawal | auteur2=Neeraj Kayal | auteur3=Nitin Saxena | titre=PRIMES is in P | url=http://math.berkeley.edu/~coleman/Courses/Fall08/Cryptography/primality_v6.pdf | année=2004 | journal=Annals of Mathematics | volume=160 | pages=781–793 | doi=10.4007/annals.2004.160.781 | numéro=2 | archiveurl=https://web.archive.org/web/20110607101302/http://math.berkeley.edu/~coleman/Courses/Fall08/Cryptography/primality_v6.pdf | archivedate=7 juin 2011 | brisé le= }}</ref>
|Le [[test de primalité AKS]]<ref group="A">{{article | auteur1=Manindra Agrawal | auteur2=Neeraj Kayal | auteur3=Nitin Saxena | titre=PRIMES is in P | url=http://math.berkeley.edu/~coleman/Courses/Fall08/Cryptography/primality_v6.pdf | année=2004 | journal=Annals of Mathematics | volume=160 | pages=781–793 | doi=10.4007/annals.2004.160.781 | numéro=2 | archiveurl=https://web.archive.org/web/20110607101302/http://math.berkeley.edu/~coleman/Courses/Fall08/Cryptography/primality_v6.pdf | archivedate=7 juin 2011 }}</ref>
|-
|-
|[[2007]]
|[[2007]]
|[[Alexandre Razborov]] ([[Russie]]) et [[Steven Rudich]] ([[États-Unis]])
|[[Alexandre Razborov]] ({{Russie}}) et [[Steven Rudich]] ({{États-Unis}})
|Leur article fondateur sur la [[preuve naturelle]]<ref group="A">{{article|langue=|auteur1=|prénom1=Alexander A.|nom1=Razborov|prénom2=Steven|nom2=Rudich|titre=Natural proofs|journal=Journal of Computer and System Sciences|volume=55|numéro=1|année=1997|date=|issn=|doi=10.1006/jcss.1997.1494|lire en ligne=|pages=24–35}}</ref>
|Leur article fondateur sur la [[preuve naturelle]]<ref group="A">{{article|auteur1=|prénom1=Alexander A.|nom1=Razborov|prénom2=Steven|nom2=Rudich|titre=Natural proofs|journal=Journal of Computer and System Sciences|volume=55|numéro=1|année=1997|date=|doi=10.1006/jcss.1997.1494|lire en ligne=|pages=24–35}}</ref>
|-
|-
|[[2008]]
|[[2008]]
|[[Shang-Hua Teng]] ([[Chine]]) et [[Daniel Spielman]] ([[États-Unis]])
|[[Shang-Hua Teng]] ({{Chine}}) et [[Daniel Spielman]] ({{États-Unis}})
|L'[[analyse lisse d'algorithme]] (''smoothed analysis'')<ref group="A">{{article | nom1=Spielman | prénom1=Daniel A. | nom2=Teng | prénom2=Shang-Hua | lien auteur2=Shanghua Teng | titre=Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time | url=http://eprints.kfupm.edu.sa/65442/1/65442.pdf | année=2004 | journal=Journal of the ACM | volume=51 | numéro=3 | pages=385–463 | archiveurl=http://archive.wikiwix.com/cache/20091206015337/http://eprints.kfupm.edu.sa/65442/1/65442.pdf | archivedate=6 décembre 2009 | brisé le= }}</ref>
|L'[[analyse lisse d'algorithme]] (''smoothed analysis'')<ref group="A">{{article | nom1=Spielman | prénom1=Daniel A. | nom2=Teng | prénom2=Shang-Hua | lien auteur2=Shanghua Teng | titre=Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time | url=http://eprints.kfupm.edu.sa/65442/1/65442.pdf | année=2004 | journal=Journal of the ACM | volume=51 | numéro=3 | pages=385–463 | archiveurl=http://archive.wikiwix.com/cache/20091206015337/http://eprints.kfupm.edu.sa/65442/1/65442.pdf | archivedate=6 décembre 2009 }}</ref>
|-
|-
|[[2009]]
|[[2009]]
|[[Omer Reingold]] ([[Israël]]), [[Salil Vadhan]] ([[États-Unis]]) et [[Avi Wigderson]] ([[Israël]])
|[[Omer Reingold]] ({{Israël}}), [[Salil Vadhan]] ({{États-Unis}}) et [[Avi Wigderson]] ({{Israël}})
|Le [[produit zig-zag de graphes]]<ref group="A">{{article | nom1=Reingold | prénom1=Omer | nom2=Vadhan | prénom2=Salil | nom3=Wigderson | prénom3=Avi | titre=Entropy waves, the zig-zag graph product, and new constant-degree expanders | url=http://eprints.kfupm.edu.sa/37801/1/37801.pdf | mr=1888797 | année=2002 | journal=Annals of Mathematics | volume=155 | numéro=1 | pages=157–187 | doi=10.2307/3062153 | jstor=3062153 | archiveurl=http://archive.wikiwix.com/cache/20091207091815/http://eprints.kfupm.edu.sa/37801/1/37801.pdf | archivedate=7 décembre 2009 | brisé le= }}</ref>{{,}}<ref group="A">{{article | nom1=Reingold | prénom1=Omer | titre=Undirected connectivity in log-space | url=http://www.weizmann.ac.il/mathusers/reingold/publications/sl.ps | année=2008 | journal=Journal of the ACM | volume=55 | numéro=4 | pages=1–24 | = }}</ref>
|Le [[produit zig-zag de graphes]]<ref group="A">{{article | nom1=Reingold | prénom1=Omer | nom2=Vadhan | prénom2=Salil | nom3=Wigderson | prénom3=Avi | titre=Entropy waves, the zig-zag graph product, and new constant-degree expanders | url=http://eprints.kfupm.edu.sa/37801/1/37801.pdf | mr=1888797 | année=2002 | journal=Annals of Mathematics | volume=155 | numéro=1 | pages=157–187 | doi=10.2307/3062153 | jstor=3062153 | archiveurl=http://archive.wikiwix.com/cache/20091207091815/http://eprints.kfupm.edu.sa/37801/1/37801.pdf | archivedate=7 décembre 2009 }}</ref>{{,}}<ref group="A">{{article | nom1=Reingold | prénom1=Omer | titre=Undirected connectivity in log-space | url=http://www.weizmann.ac.il/mathusers/reingold/publications/sl.ps | année=2008 | journal=Journal of the ACM | volume=55 | numéro=4 | pages=1–24 }}</ref>
|-
|-
|[[2010]]
|[[2010]]
|[[Sanjeev Arora]] ([[États-Unis]]) et [[Joseph S. B. Mitchell]] ([[États-Unis]])
|[[Sanjeev Arora]] ({{États-Unis}}) et [[Joseph S. B. Mitchell]] ({{États-Unis}})
|Le [[Schéma d'approximation en temps polynomial|schéma d'approximation polynomiale]] du [[problème du voyageur de commerce]]<ref group="A" name=":0">{{article | nom1=Arora | prénom1=Sanjeev | lien auteur1=Sanjeev Arora | titre=Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems | doi=10.1145/290179.290180 | année=1998 | journal=Journal of the ACM | volume=45 | numéro=5 | pages=753–782}}</ref>{{,}}<ref group="A" name=":1">{{article | nom1=Mitchell | prénom1=Joseph S. B. | titre=Guillotine Subdivisions Approximate Polygonal Subdivisions: A Simple Polynomial-Time Approximation Scheme for Geometric TSP, k-MST, and Related Problems | doi=10.1137/S0097539796309764 | année=1999 | journal=SIAM Journal on Computing | issn=1095-7111 | volume=28 | numéro=4 | pages=1298–1309}}</ref> dans le cas euclidien
|Le [[Schéma d'approximation en temps polynomial|schéma d'approximation polynomiale]] du [[problème du voyageur de commerce]]<ref group="A" name=":0">{{article | nom1=Arora | prénom1=Sanjeev | lien auteur1=Sanjeev Arora | titre=Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems | doi=10.1145/290179.290180 | année=1998 | journal=Journal of the ACM | volume=45 | numéro=5 | pages=753–782}}</ref>{{,}}<ref group="A" name=":1">{{article | nom1=Mitchell | prénom1=Joseph S. B. | titre=Guillotine Subdivisions Approximate Polygonal Subdivisions: A Simple Polynomial-Time Approximation Scheme for Geometric TSP, k-MST, and Related Problems | doi=10.1137/S0097539796309764 | année=1999 | journal=SIAM Journal on Computing | issn=1095-7111 | volume=28 | numéro=4 | pages=1298–1309}}</ref> dans le cas euclidien
|-
|-
|[[2011]]
|[[2011]]
|[[Johan Håstad]] ([[Suède]])
|[[Johan Håstad]] ({{Suède}})
|Des résultats de [[algorithme d'approximation|difficulté d'approximation]], liés au théorème PCP<ref group="A">{{article | nom1=Håstad | prénom1=Johan | lien auteur1=Johan Håstad | titre=Some optimal inapproximability results | doi=10.1145/502090.502098 | année=2001 | journal=[[Journal of the ACM]] | volume=48 | pages=798–859 | url=http://www.nada.kth.se/~johanh/optimalinap.pdf}}</ref>
|Des résultats de [[algorithme d'approximation|difficulté d'approximation]], liés au théorème PCP<ref group="A">{{article | nom1=Håstad | prénom1=Johan | lien auteur1=Johan Håstad | titre=Some optimal inapproximability results | doi=10.1145/502090.502098 | année=2001 | journal=[[Journal of the ACM]] | volume=48 | pages=798–859 | url=http://www.nada.kth.se/~johanh/optimalinap.pdf}}</ref>
|-
|-
|[[2012]]
|[[2012]]
|[[Elias Koutsoupias]] ([[Grèce]]), [[Christos Papadimitriou]] ([[Grèce]]), [[Noam Nisan]] ([[Israël]]), [[Amir Ronen]] ([[Israël]]), [[Tim Roughgarden]] ([[États-Unis]]) et [[Éva Tardos]] ([[Hongrie]])
|[[Elias Koutsoupias]] ({{Grèce}}), [[Christos Papadimitriou]] ({{Grèce}}), [[Noam Nisan]] ({{Israël}}), [[Amir Ronen]] ({{Israël}}), [[Tim Roughgarden]] ({{États-Unis}}) et [[Éva Tardos]] ({{Hongrie}})
|La création de la [[théorie algorithmique des jeux]]<ref group="A">{{Article|nom=Koutsoupias|prénom=Elias|nom2=Papadimitriou|prénom2= Christos|titre=Worst-case equilibria|journal=Computer Science Review|année=2009|volume=3|numéro=2|pages=65–69|doi=10.1016/j.cosrev.2009.04.003}}</ref>{{,}}<ref group = "A">{{Article|nom=Roughgarden|prénom=Tim|nom2=Tardos|prénom2=Éva|titre=How bad is selfish routing?|journal=Journal of the ACM|année=2002|volume=49|numéro=2|pages=236–259|doi=10.1145/506147.506153}}</ref>{{,}}<ref group = "A">{{Article|nom=Nisan|prénom=Noam|nom2=Ronen|prénom2= Amir|titre=Algorithmic Mechanism Design|journal=Games and Economic Behavior|année=2001|volume=35|numéro=1-2|pages=166–196|doi=10.1006/game.1999.0790}}</ref>
|La création de la [[théorie algorithmique des jeux]]<ref group="A">{{Article|nom=Koutsoupias|prénom=Elias|nom2=Papadimitriou|prénom2= Christos|titre=Worst-case equilibria|journal=Computer Science Review|année=2009|volume=3|numéro=2|pages=65–69|doi=10.1016/j.cosrev.2009.04.003}}</ref>{{,}}<ref group = "A">{{Article|nom=Roughgarden|prénom=Tim|nom2=Tardos|prénom2=Éva|titre=How bad is selfish routing?|journal=Journal of the ACM|année=2002|volume=49|numéro=2|pages=236–259|doi=10.1145/506147.506153}}</ref>{{,}}<ref group = "A">{{Article|nom=Nisan|prénom=Noam|nom2=Ronen|prénom2= Amir|titre=Algorithmic Mechanism Design|journal=Games and Economic Behavior|année=2001|volume=35|numéro=1-2|pages=166–196|doi=10.1006/game.1999.0790}}</ref>
|-
|-
|[[2013]]
|[[2013]]
|[[Dan Boneh]] ([[Israël]]), [[Matthew K. Franklin]] ([[États-Unis]]) et [[Antoine Joux]] ([[France]])
|[[Dan Boneh]] ({{Israël}}), [[Matthew K. Franklin]] ({{États-Unis}}) et [[Antoine Joux]] ({{France}})
|L'introduction de la [[cryptographie à base de couplages]]<ref group="A">{{article | nom1 = Boneh | prénom1 = Dan | nom2 = Franklin | prénom2 = Matthew | doi = 10.1137/S0097539701398521 | numéro = 3 | journal = SIAM Journal on Computing | mr = 2001745 | pages = 586–615 | titre = Identity-based encryption from the Weil pairing | volume = 32 | année = 2003}}</ref>{{,}}<ref group="A">{{article | nom = Joux | prénom = Antoine | doi = 10.1007/s00145-004-0312-y | numéro = 4 | journal = Journal of Cryptology | mr = 2090557 | pages = 263–276 | titre = A one round protocol for tripartite Diffie-Hellman | volume = 17 | année = 2004}}</ref>
|L'introduction de la [[cryptographie à base de couplages]]<ref group="A">{{article | nom1 = Boneh | prénom1 = Dan | nom2 = Franklin | prénom2 = Matthew | doi = 10.1137/S0097539701398521 | numéro = 3 | journal = SIAM Journal on Computing | mr = 2001745 | pages = 586–615 | titre = Identity-based encryption from the Weil pairing | volume = 32 | année = 2003}}</ref>{{,}}<ref group="A">{{article | nom = Joux | prénom = Antoine | doi = 10.1007/s00145-004-0312-y | numéro = 4 | journal = Journal of Cryptology | mr = 2090557 | pages = 263–276 | titre = A one round protocol for tripartite Diffie-Hellman | volume = 17 | année = 2004}}</ref>
|-
|-
|[[2014]]
|[[2014]]
|[[Ronald Fagin]] ([[États-Unis]]), [[Amnon Lotem]] ([[Israël]]) et [[Moni Naor]]<ref>[https://eatcs.org/index.php/component/content/article/1-news/1908-goedel-prize-2014 Annonce officielle du prix Godel 2014].</ref>{{,}}<ref>Article à propos de l'article et du prix : {{lien web|url=http://thorehusfeldt.net/2014/07/17/personal-reality-godel-prize-2014/|titre=Personal reality (Gödel Prize 2014)|auteur=Thore Husfeldt|date=2014|site=|consulté le=30 avril 2015|archive-url=https://web.archive.org/web/20150504125346/http://thorehusfeldt.net/2014/07/17/personal-reality-godel-prize-2014/|archive-date=4 mai 2015|brisé le=23 juillet 2018}}.</ref> ([[Israël]])
|[[Ronald Fagin]] ({{États-Unis}}), [[Amnon Lotem]] ({{Israël}}) et [[Moni Naor]]<ref>[https://eatcs.org/index.php/component/content/article/1-news/1908-goedel-prize-2014 Annonce officielle du prix Godel 2014].</ref>{{,}}<ref>Article à propos de l'article et du prix : {{lien web|url=http://thorehusfeldt.net/2014/07/17/personal-reality-godel-prize-2014/|titre=Personal reality (Gödel Prize 2014)|auteur=Thore Husfeldt|date=2014|consulté le=30 avril 2015|archive-url=https://web.archive.org/web/20150504125346/http://thorehusfeldt.net/2014/07/17/personal-reality-godel-prize-2014/|archive-date=4 mai 2015|brisé le=23 juillet 2018}}.</ref> ({{Israël}})
|Les algorithmes d’agrégation optimaux<ref group="A">{{article | nom1 = Fagin | prénom1 = Ronald | nom2 = Lotem | prénom2 = Amnon | nom3 = Naor | prénom3 = Moni | doi = 10.1016/S0022-0000(03)00026-6 | numéro = 4 | périodique = Journal of Computer and System Sciences | passage = 614-656 | titre = Optimal aggregation algorithms for middleware | volume = 66 | année = 2003}}</ref>
|Les algorithmes d’agrégation optimaux<ref group="A">{{article | nom1 = Fagin | prénom1 = Ronald | nom2 = Lotem | prénom2 = Amnon | nom3 = Naor | prénom3 = Moni | doi = 10.1016/S0022-0000(03)00026-6 | numéro = 4 | périodique = Journal of Computer and System Sciences | passage = 614-656 | titre = Optimal aggregation algorithms for middleware | volume = 66 | année = 2003}}</ref>
|-
|-
|[[2015]]<ref>{{lien web|url=http://www.sigact.org/Prizes/Godel/citation2015.pdf|titre=2015 Gödel Prize|site=SIGACT}}</ref>
|[[2015]]
|[[Shang-Hua Teng]] ([[Chine]]) et [[Daniel Spielman]]<ref>{{lien web|url=http://www.sigact.org/Prizes/Godel/citation2015.pdf|titre=2015 Gödel Prize|site=SIGACT}}</ref> ([[États-Unis]])
|[[Shang-Hua Teng]] ({{Chine}}) et [[Daniel Spielman]] ({{États-Unis}})
|Leurs travaux d'algèbre linéaire numérique, et l'application à l'algorithmique des graphes et à la [[théorie spectrale des graphes]]<ref group="A">{{article|nom1=Spielman|prénom1=Daniel A.|nom2=Teng|prénom2=Shang-Hua|titre=Spectral Sparsification of Graphs|périodique=SIAM Journal on Computing|volume=40|numéro=4|année=2011|passage=981-1025|issn=0097-5397|doi=10.1137/08074489X}}.</ref>{{,}}<ref group="A">{{article|nom1=Spielman|prénom1=Daniel A.|nom2=Teng|prénom2=Shang-Hua|titre=A Local Clustering Algorithm for Massive Graphs and Its Application to Nearly Linear Time Graph Partitioning|périodique=SIAM Journal on Computing|volume=42|numéro=1|année=2013|passage=1-26|issn=0097-5397|doi=10.1137/080744888}}.</ref>{{,}}<ref group="A">{{article|nom1=Spielman|prénom1=Daniel A.|nom2=Teng|prénom2=Shang-Hua|titre=Nearly Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems|périodique=SIAM Journal on Matrix Analysis and Applications|volume=35|numéro=3|année=2014|passage=835-885|issn=0895-4798|doi=10.1137/090771430}}.</ref>
|Leurs travaux d'algèbre linéaire numérique, et l'application à l'algorithmique des graphes et à la [[théorie spectrale des graphes]]<ref group="A">{{article|nom1=Spielman|prénom1=Daniel A.|nom2=Teng|prénom2=Shang-Hua|titre=Spectral Sparsification of Graphs|périodique=SIAM Journal on Computing|volume=40|numéro=4|année=2011|passage=981-1025|issn=0097-5397|doi=10.1137/08074489X}}.</ref>{{,}}<ref group="A">{{article|nom1=Spielman|prénom1=Daniel A.|nom2=Teng|prénom2=Shang-Hua|titre=A Local Clustering Algorithm for Massive Graphs and Its Application to Nearly Linear Time Graph Partitioning|périodique=SIAM Journal on Computing|volume=42|numéro=1|année=2013|passage=1-26|issn=0097-5397|doi=10.1137/080744888}}.</ref>{{,}}<ref group="A">{{article|nom1=Spielman|prénom1=Daniel A.|nom2=Teng|prénom2=Shang-Hua|titre=Nearly Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems|périodique=[[SIAM Journal on Matrix Analysis and Applications]]|volume=35|numéro=3|année=2014|passage=835-885|issn=0895-4798|doi=10.1137/090771430}}.</ref>
|-
|-
|[[2016]]<ref>{{lien web|url=http://eatcs.org/index.php/component/content/article/1-news/2280-2016-godel-prize-|titre=2016 Gödel Prize|site=[[EATCS]]}}</ref>
|[[2016]]
|[[Stephen D. Brookes]] ([[Royaume-Uni]]) et [[Peter O'Hearn]]<ref>{{lien web|url=http://eatcs.org/index.php/component/content/article/1-news/2280-2016-godel-prize-|titre=2016 Gödel Prize|site=[[EATCS]]}}</ref> ([[Canada]])
|[[Stephen D. Brookes]] ({{Royaume-Uni}}) et [[Peter O'Hearn]] ({{Canada}})
|L'invention de la [[logique de séparation]] concurrente<ref group="A">
|L'invention de la [[logique de séparation]] concurrente<ref group="A">
{{article|auteur = Peter W. O’Hearn|titre = Resources, Concurrency, and Local Reasoning |journal = Theoretical Computer Science |volume = 375 |numéro = 1-3|pages = 271-307 |année = 2007}}.</ref>{{,}}<ref group="A">
{{article|auteur = Peter W. O’Hearn|titre = Resources, Concurrency, and Local Reasoning |journal = Theoretical Computer Science |volume = 375 |numéro = 1-3|pages = 271-307 |année = 2007}}.</ref>{{,}}<ref group="A">
{{article|auteur = Stephen Brookes|titre = A Semantics for Concurrent Separation Logic|journal = Theoretical Computer Science |volume = 375 |numéro = 1-3|pages = 227-270 |année = 2007}}.</ref>
{{article|auteur = Stephen Brookes|titre = A Semantics for Concurrent Separation Logic|journal = Theoretical Computer Science |volume = 375 |numéro = 1-3|pages = 227-270 |année = 2007}}.</ref>
|-
|-
|[[2017]]<ref>{{lien web|url=http://eatcs.org/index.php/component/content/article/1-news/2450-2017-godel-prize|titre=2017 Gödel Prize|site=EATCS}}.</ref>
|[[2017]]
|[[Cynthia Dwork]] ([[États-Unis]]), [[Frank McSherry]] ([[États-Unis]]), [[Kobbi Nissim]] ([[Israël]]) et [[Adam D. Smith]]<ref>{{lien web|url=http://eatcs.org/index.php/component/content/article/1-news/2450-2017-godel-prize|titre=2017 Gödel Prize|site=EATCS}}.</ref> ([[États-Unis]])
|[[Cynthia Dwork]] ({{États-Unis}}), [[Frank McSherry]] ({{États-Unis}}), [[Kobbi Nissim]] ({{Israël}}) et [[Adam D. Smith]] ({{États-Unis}})
|L'invention de la [[confidentialité différentielle]]<ref group="A">{{article|titre=Calibrating Noise to Sensitivity| périodique= Private Data Analysis Journal of Privacy and Confidentiality|auteur1=Cynthia Dwork|auteur2=Frank McSherry|auteur3= Kobbi Nissim |auteur4 = Adam Smith|année=2016|volume=7|numéro=3}}.</ref>
|L'invention de la [[confidentialité différentielle]]<ref group="A">{{article|titre=Calibrating Noise to Sensitivity| périodique= Private Data Analysis Journal of Privacy and Confidentiality|auteur1=Cynthia Dwork|auteur2=Frank McSherry|auteur3= Kobbi Nissim |auteur4 = Adam Smith|année=2016|volume=7|numéro=3}}.</ref>
|-
|-
|[[2018]]
|[[2018]]
|[[Oded Regev]] ([[Israël]])
|[[Oded Regev]] ({{Israël}})
|L'introduction du problème de l'[[apprentissage avec erreurs]], l'étude de sa [[complexité en moyenne]] par réduction aux problèmes de [[réseau euclidien|réseaux euclidiens]], et son impact sur la [[cryptographie post-quantique]]<ref group="A"> {{Article|langue=Anglais|auteur1=[[Oded Regev]]|titre=On lattices, learning with errors, random linear codes, and cryptography|périodique=[[Journal of the ACM]]|année=2009|passage=34:1-34:40|numéro=6|volume=56|doi=10.1145/1568318.1568324}}.</ref>
|L'introduction du problème de l'[[apprentissage avec erreurs]], l'étude de sa [[complexité en moyenne]] par réduction aux problèmes de [[réseau euclidien|réseaux euclidiens]], et son impact sur la [[cryptographie post-quantique]]<ref group="A"> {{Article|langue=Anglais|auteur1=[[Oded Regev]]|titre=On lattices, learning with errors, random linear codes, and cryptography|périodique=[[Journal of the ACM]]|année=2009|passage=34:1-34:40|numéro=6|volume=56|doi=10.1145/1568318.1568324}}.</ref>
|-
|-
| [[2019 en informatique|2019]]
| [[2019 en informatique|2019]]
| [[Irit Dinur]]
| [[Irit Dinur]] ({{Israël}})
| Pour une preuve fondamentalement différent du [[théorème PCP]], plus simple, plus direct et plus efficace<ref group="A"> {{Article
| Pour une preuve fondamentalement différent du [[théorème PCP]], plus simple, plus direct et plus efficace<ref group="A"> {{Article
| langue = en
| langue = en
Ligne 156 : Ligne 155 :
|-
|-
|[[2020]]
|[[2020]]
| [[Robin A. Moser]] et {{lien|Gábor Tardos}}
| [[Robin A. Moser]] ({{Suisse}}) et [[Gábor Tardos]] ({{Hongrie}})
|Pour une version algorithmique du [[lemme local de Lovász]]<ref group="A">
| Pour une version algorithmique du [[lemme local de Lovász]]<ref group="A">
{{Article|langue=Anglais|auteur1=[[Robin A. Moser]]|auteur2= [[Gábor Tardos]] |titre=A constructive proof of the general Lovász Local Lemma|périodique=[[Journal of the ACM]]|année=2010|passage=11:1-11:15|numéro=2|volume=57|doi=}}
{{Article|langue=Anglais|auteur1=[[Robin A. Moser]]|auteur2= [[Gábor Tardos]] |titre=A constructive proof of the general Lovász Local Lemma|périodique=[[Journal of the ACM]]|année=2010|passage=11:1-11:15|numéro=2|volume=57}}
</ref>.
</ref>.
|-
|[[2021]]<ref name=Godël2021>{{lien web|titre=2021 Gödel Prize citation|url=https://eatcs.org/index.php/component/content/article/1-news/2885-2021-05-07-21-20-13}}</ref>
| Andrei Bulatov, [[Jin-Yi Cai]] ({{Chine}}/{{États-Unis}}), [[Xi Chen]] ({{États-Unis}}), [[Martin Dyer]] ({{Royaume-Uni}}) et [[David Richerby]]
| Classification de la [[Problème de comptage|complexité de comptage]] des [[Problème de satisfaction de contraintes|problèmes de satisfaction de contraintes]]<ref group="A">{{article| auteur1=Andrei A. Bulatov | titre=The complexity of the counting constraint satisfaction problem | périodique=[[Journal of the ACM]] | éditeur=Association for Computing Machinery (ACM) | volume=60 | numéro=5 | année=2013 | issn=0004-5411 | doi=10.1145/2528400 | passage=1–41}}</ref>{{,}}<ref group="A">
{{article| auteur1=Martin Dyer | nom2=Richerby | prénom2=David | titre=An Effective Dichotomy for the Counting Constraint Satisfaction Problem | journal=SIAM Journal on Computing | périodique=Society for Industrial & Applied Mathematics (SIAM) | volume=42 | numéro=3 | année=2013 | issn=0097-5397 | doi=10.1137/100811258 | pages=1245–1274}}</ref>{{,}}<ref group="A">
{{article| auteur1=Jin-Yi Cai | auteur2=Xi Chen | titre=Complexity of Counting CSP with Complex Weights | journal=Journal of the ACM | périodique=Association for Computing Machinery (ACM) | volume=64 | numéro=3 | date=2017-06-22 | issn=0004-5411 | doi=10.1145/2822891 | pages=1–39}}</ref>.
|-
|[[2022]]<ref name=Godël2022>{{lien web|titre=2022 Gödel Prize citation|url=https://eatcs.org/index.php/component/content/article/1-news/2917-2022-05-21-19-57-34}}</ref>
| [[Zvika Brakerski]] ({{Israël}}), [[Vinod Vaikuntanathan]] ({{Inde}}) et [[Craig Gentry (informaticien)|Craig Gentry]] ({{Etats-Unis}})
| Construction de schémas de [[Chiffrement homomorphe|chiffrement totalement homomorphes]] efficaces<ref group="A">{{article| auteur1=Zvika Brakerski | auteur2=Vinod Vaikuntanathan| titre=Efficient Fully Homomorphic Encryption from (Standard) LWE | périodique=[[SIAM Journal on Computing]] | volume=43 | numéro=2 | année=2014 | issn= | doi= | passage=831-871}}</ref>{{,}}<ref group="A">
{{article| auteur1=Zvika Brakerski |auteur2=Craig Gentry | auteur3=Vinod Vaikuntanathan| titre=(Leveled) fully homomorphic encryption without bootstrapping | journal=ACM Transactions on Computation Theory| volume=6 | numéro=3 | année=2014 | issn=| doi= | pages=13:1-13:36}}</ref>
|-
|[[2023]]<ref>{{Lien web |langue= |titre=2023 Gödel Prize citation |url=https://eatcs.org/index.php/component/content/article/1-news/2945-2023-05-18-18-41-48}}</ref>
|Samuel Fiorini ({{Belgique}}), Serge Massar ({{Belgique}}), Sebastian Pokutta ({{Allemagne}}), Hans Raj Tiwary, [[Ronald de Wolf]] ({{Pays-Bas}}) et Thomas Rothvoss ({{Suisse}})
|Pour avoir montré que toute formulation étendue du polytope pour le [[problème du voyageur de commerce]] et pour le problème de [[Couplage (théorie des graphes)|couplage]] parfait a une taille exponentielle<ref group="A">{{Article|langue=en|prénom1=Samuel|nom1=Fiorini|prénom2=Serge|nom2=Massar|prénom3=Sebastian|nom3=Pokutta|prénom4=Hans Raj|nom4=Tiwary|titre=Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds|périodique=Proceedings of the 44th Symposium on Theory of Computing Conference, STOC 2012|éditeur=ACM|date=2012-05-19|isbn=978-1-4503-1245-5|doi=10.1145/2213977.2213988|lire en ligne=https://dl.acm.org/doi/10.1145/2213977.2213988|consulté le=2023-06-02|pages=95–106}}</ref>{{,}}<ref group="A">{{Article|langue=en|prénom1=Thomas|nom1=Rothvoss|titre=The matching polytope has exponential extension complexity|périodique=Proceedings of the 46th Symposium on Theory of Computing Conference, STOC 2014|éditeur=ACM|date=2014-05-31|isbn=978-1-4503-2710-7|doi=10.1145/2591796.2591834|lire en ligne=https://dl.acm.org/doi/10.1145/2591796.2591834|consulté le=2023-06-02|pages=263–272}}</ref>.
|}
|}


Dernière version du 10 janvier 2024 à 20:16

Prix Gödel
Image associée à la récompense
Kurt Gödel en 1925
Organisateur EATCS et SIGACT
Date de création 1992
modifier 

Le prix Gödel est une distinction créée en 1992 par l'European Association for Theoretical Computer Science (EATCS) et le Special Interest Group on Algorithms and Computation Theory (SIGACT) de l'Association for Computing Machinery (ACM) pour honorer des travaux remarquables d'informatique théorique. Il est nommé en l'honneur du logicien Kurt Gödel.

Description

[modifier | modifier le code]

Le prix Gödel est attribué annuellement depuis 1993 et comporte une récompense de 5 000 USD. Le prix distingue un article, plutôt qu'un individu. Pour être éligible, l'article du récipiendaire doit avoir été publié dans un journal avec comité de lecture dans les 14 années précédentes[1]. Le prix Gödel est considéré comme l'un des deux plus grands prix internationaux en informatique, avec le prix Turing[2].

Le prix est nommé en l'honneur de Kurt Gödel, pour ses travaux en logique mathématique, et son intuition du problème P=NP[3].

Lauréats

[modifier | modifier le code]
Liste des lauréats
Année Nom(s) Contribution(s)
1993 László Babai (Drapeau de la Hongrie Hongrie) et Shlomo Moran[A 1] (Drapeau d’Israël Israël), Shafi Goldwasser (Drapeau d’Israël Israël/Drapeau des États-Unis États-Unis), Silvio Micali (Drapeau de l'Italie Italie/Drapeau des États-Unis États-Unis) et Charles Rackoff[A 2] (Drapeau des États-Unis États-Unis) Développement de la notion de système de preuve interactive
1994 Johan Håstad[A 3] (Drapeau de la Suède Suède) Bornes sur des problèmes de circuits booléens, et en particulier sur la fonction parité
1995 Neil Immerman[A 4] (Drapeau des États-Unis États-Unis) et Róbert Szelepcsényi[A 5] (Drapeau de la Slovaquie Slovaquie) Leur théorème reliant les classes NSPACE et co-NSPACE
1996 Mark Jerrum[A 6] (Drapeau du Royaume-Uni Royaume-Uni) et Alistair Sinclair[A 7] (Drapeau du Royaume-Uni Royaume-Uni) Leurs travaux sur les chaînes de Markov et l'approximation du permanent
1997 Joseph Halpern (Drapeau des États-Unis États-Unis) et Yoram Moses[A 8] (Drapeau d’Israël Israël) Le développement de la notion d'information dans le contexte des systèmes distribués
1998 Seinosuke Toda (Drapeau du Japon Japon) Son théorème[A 9] reliant les classes de complexité PP et PH
1999 Peter Shor (Drapeau des États-Unis États-Unis) L'algorithme de Shor [A 10], qui permet de factoriser les nombres en temps polynomial sur un ordinateur quantique
2000 Moshe Vardi (Drapeau d’Israël Israël) et Pierre Wolper (Drapeau de la Belgique Belgique) Leur travail[A 11] sur la logique temporelle dans le cadre des automates finis
2001 Sanjeev Arora (Drapeau des États-Unis États-Unis), Uriel Feige (Drapeau d’Israël Israël), Shafi Goldwasser (Drapeau d’Israël Israël/Drapeau des États-Unis États-Unis), Carsten Lund (Drapeau du Danemark Danemark), László Lovász (Drapeau de la Hongrie Hongrie/Drapeau des États-Unis États-Unis), Rajeev Motwani (Drapeau de l'Inde Inde), Shmuel Safra (Drapeau d’Israël Israël), Madhu Sudan (Drapeau des États-Unis États-Unis) et Mario Szegedy (Drapeau de la Hongrie Hongrie/Drapeau des États-Unis États-Unis) Leur théorème PCP[A 12],[A 13],[A 14]
2002 Géraud Sénizergues (Drapeau de la France France) Avoir démontré la décidabilité[A 15] de l'égalité de deux langages reconnus par des automates à piles déterministes
2003 Yoav Freund (Drapeau d’Israël Israël) et Robert Schapire (Drapeau des États-Unis États-Unis) L'algorithme AdaBoost en apprentissage automatique[A 16]
2004 Maurice Herlihy (Drapeau des États-Unis États-Unis), Michael Saks (Drapeau des États-Unis États-Unis), Nir Shavit (Drapeau d’Israël Israël), Fotios Zaharoglou (Drapeau de la Grèce Grèce) L'application de notions de topologie au calcul distribué[A 17],[A 18]
2005 Noga Alon (Drapeau d’Israël Israël), Yossi Matias (Drapeau d’Israël Israël) et Mario Szegedy (Drapeau de la Hongrie Hongrie) Leurs contributions[A 19] aux algorithmes de fouille de flots de données
2006 Manindra Agrawal (Drapeau de l'Inde Inde), Neeraj Kayal (Drapeau de l'Inde Inde) et Nitin Saxena (Drapeau de l'Inde Inde) Le test de primalité AKS[A 20]
2007 Alexandre Razborov (Drapeau de la Russie Russie) et Steven Rudich (Drapeau des États-Unis États-Unis) Leur article fondateur sur la preuve naturelle[A 21]
2008 Shang-Hua Teng (Drapeau de la République populaire de Chine Chine) et Daniel Spielman (Drapeau des États-Unis États-Unis) L'analyse lisse d'algorithme (smoothed analysis)[A 22]
2009 Omer Reingold (Drapeau d’Israël Israël), Salil Vadhan (Drapeau des États-Unis États-Unis) et Avi Wigderson (Drapeau d’Israël Israël) Le produit zig-zag de graphes[A 23],[A 24]
2010 Sanjeev Arora (Drapeau des États-Unis États-Unis) et Joseph S. B. Mitchell (Drapeau des États-Unis États-Unis) Le schéma d'approximation polynomiale du problème du voyageur de commerce[A 25],[A 26] dans le cas euclidien
2011 Johan Håstad (Drapeau de la Suède Suède) Des résultats de difficulté d'approximation, liés au théorème PCP[A 27]
2012 Elias Koutsoupias (Drapeau de la Grèce Grèce), Christos Papadimitriou (Drapeau de la Grèce Grèce), Noam Nisan (Drapeau d’Israël Israël), Amir Ronen (Drapeau d’Israël Israël), Tim Roughgarden (Drapeau des États-Unis États-Unis) et Éva Tardos (Drapeau de la Hongrie Hongrie) La création de la théorie algorithmique des jeux[A 28],[A 29],[A 30]
2013 Dan Boneh (Drapeau d’Israël Israël), Matthew K. Franklin (Drapeau des États-Unis États-Unis) et Antoine Joux (Drapeau de la France France) L'introduction de la cryptographie à base de couplages[A 31],[A 32]
2014 Ronald Fagin (Drapeau des États-Unis États-Unis), Amnon Lotem (Drapeau d’Israël Israël) et Moni Naor[4],[5] (Drapeau d’Israël Israël) Les algorithmes d’agrégation optimaux[A 33]
2015[6] Shang-Hua Teng (Drapeau de la République populaire de Chine Chine) et Daniel Spielman (Drapeau des États-Unis États-Unis) Leurs travaux d'algèbre linéaire numérique, et l'application à l'algorithmique des graphes et à la théorie spectrale des graphes[A 34],[A 35],[A 36]
2016[7] Stephen D. Brookes (Drapeau du Royaume-Uni Royaume-Uni) et Peter O'Hearn (Drapeau du Canada Canada) L'invention de la logique de séparation concurrente[A 37],[A 38]
2017[8] Cynthia Dwork (Drapeau des États-Unis États-Unis), Frank McSherry (Drapeau des États-Unis États-Unis), Kobbi Nissim (Drapeau d’Israël Israël) et Adam D. Smith (Drapeau des États-Unis États-Unis) L'invention de la confidentialité différentielle[A 39]
2018 Oded Regev (Drapeau d’Israël Israël) L'introduction du problème de l'apprentissage avec erreurs, l'étude de sa complexité en moyenne par réduction aux problèmes de réseaux euclidiens, et son impact sur la cryptographie post-quantique[A 40]
2019 Irit Dinur (Drapeau d’Israël Israël) Pour une preuve fondamentalement différent du théorème PCP, plus simple, plus direct et plus efficace[A 41].
2020 Robin A. Moser (Drapeau de la Suisse Suisse) et Gábor Tardos (Drapeau de la Hongrie Hongrie) Pour une version algorithmique du lemme local de Lovász[A 42].
2021[9] Andrei Bulatov, Jin-Yi Cai (Drapeau de la République populaire de Chine Chine/Drapeau des États-Unis États-Unis), Xi Chen (Drapeau des États-Unis États-Unis), Martin Dyer (Drapeau du Royaume-Uni Royaume-Uni) et David Richerby Classification de la complexité de comptage des problèmes de satisfaction de contraintes[A 43],[A 44],[A 45].
2022[10] Zvika Brakerski (Drapeau d’Israël Israël), Vinod Vaikuntanathan (Drapeau de l'Inde Inde) et Craig Gentry (Drapeau des États-Unis États-Unis) Construction de schémas de chiffrement totalement homomorphes efficaces[A 46],[A 47]
2023[11] Samuel Fiorini (Drapeau de la Belgique Belgique), Serge Massar (Drapeau de la Belgique Belgique), Sebastian Pokutta (Drapeau de l'Allemagne Allemagne), Hans Raj Tiwary, Ronald de Wolf (Drapeau des Pays-Bas Pays-Bas) et Thomas Rothvoss (Drapeau de la Suisse Suisse) Pour avoir montré que toute formulation étendue du polytope pour le problème du voyageur de commerce et pour le problème de couplage parfait a une taille exponentielle[A 48],[A 49].

Articles distingués

[modifier | modifier le code]
  1. ↑ László Babai et Shlomo Moran, « Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class », Journal of Computer and System Sciences, vol. 36, no 2,‎ , p. 254–276 (DOI 10.1016/0022-0000(88)90028-1, lire en ligne)
  2. ↑ S. Goldwasser, S. Micali et C. Rackoff, « The knowledge complexity of interactive proof systems », SIAM Journal on Computing, vol. 18, no 1,‎ , p. 186–208 (DOI 10.1137/0218012, lire en ligne)
  3. ↑ Johan Håstad, « Almost Optimal Lower Bounds for Small Depth Circuits », dans Silvio Micali (éditeur), Randomness and Computation, JAI Press, coll. « Advances in Computing Research » (no 5), (ISBN 0-89232-896-7, lire en ligne [archive du ]), « Almost Optimal Lower Bounds for Small Depth Circuits », p. 6–20
  4. ↑ Neil Immerman, « Nondeterministic space is closed under complementation », SIAM Journal on Computing, vol. 17, no 5,‎ , p. 935–938 (ISSN 1095-7111, DOI 10.1137/0217058, lire en ligne)
  5. ↑ R. Szelepcsényi, « The method of forced enumeration for nondeterministic automata », Acta Informatica, vol. 26, no 3,‎ , p. 279–284 (DOI 10.1007/BF00299636)
  6. ↑ Mark Jerrum et Alistair Sinclair, « Approximating the permanent », SIAM Journal on Computing, vol. 18, no 6,‎ , p. 1149–1178 (ISSN 1095-7111, DOI 10.1137/0218077)
  7. ↑ Alistair Sinclair et Mark Jerrum, « Approximate counting, uniform generation and rapidly mixing Markov chains », Information and Computation, vol. 82, no 1,‎ , p. 93–133 (DOI 10.1016/0890-5401(89)90067-9)
  8. ↑ Joseph Halpern et Yoram Moses, « Knowledge and common knowledge in a distributed environment », Journal of the ACM, vol. 37, no 3,‎ , p. 549–587 (DOI 10.1145/79147.79161)
  9. ↑ Seinosuke Toda, « PP is as hard as the polynomial-time hierarchy », SIAM Journal on Computing, vol. 20, no 5,‎ , p. 865–877 (DOI 10.1137/0220053, lire en ligne)
  10. ↑ Peter W. Shor, « Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer », SIAM Journal on Computing, vol. 26, no 5,‎ , p. 1484–1509 (DOI 10.1137/S0097539795293172, lire en ligne)
  11. ↑ Moshe Y. Vardi et Pierre Wolper, « Reasoning about infinite computations », Information and Computation, vol. 115, no 1,‎ , p. 1–37 (DOI 10.1006/inco.1994.1092)
  12. ↑ Uriel Feige, Shafi Goldwasser, Laszlo Lovász, Shmuel Safra et Mario Szegedy, « Interactive proofs and the hardness of approximating cliques », Journal of the ACM, vol. 43, no 2,‎ , p. 268–292 (DOI 10.1145/226643.226652, lire en ligne)
  13. ↑ Sanjeev Arora et Shmuel Safra, « Probabilistic checking of proofs: a new characterization of NP », Journal of the ACM, vol. 45, no 1,‎ , p. 70–122 (DOI 10.1145/273865.273901, lire en ligne [archive du ])
  14. ↑ Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan et Mario Szegedy, « Proof verification and the hardness of approximation problems », Journal of the ACM, vol. 45, no 3,‎ , p. 501–555 (DOI 10.1145/278298.278306, lire en ligne [archive du ])
  15. ↑ Géraud Sénizergues, « L(A) = L(B)? decidability results from complete formal systems », Theor. Comput. Sci., vol. 251, no 1,‎ , p. 1–166 (DOI 10.1016/S0304-3975(00)00285-1)
  16. ↑ Y. Freund et R.E. Schapire, « A decision-theoretic generalization of on-line learning and an application to boosting », Journal of Computer and System Sciences, vol. 55, no 1,‎ , p. 119–139 (DOI 10.1006/jcss.1997.1504, lire en ligne)
  17. ↑ Maurice Herlihy et Nir Shavit, « The topological structure of asynchronous computation », Journal of the ACM, vol. 46, no 6,‎ , p. 858–923 (DOI 10.1145/331524.331529, lire en ligne)
  18. ↑ Michael Saks et Fotios Zaharoglou, « Wait-free k-set agreement is impossible: The topology of public knowledge », SIAM Journal on Computing, vol. 29, no 5,‎ , p. 1449–1483 (DOI 10.1137/S0097539796307698)
  19. ↑ Noga Alon, Yossi Matias et Mario Szegedy, « The space complexity of approximating the frequency moments », Journal of Computer and System Sciences, vol. 58, no 1,‎ , p. 137–147 (DOI 10.1006/jcss.1997.1545, lire en ligne)
  20. ↑ Manindra Agrawal, Neeraj Kayal et Nitin Saxena, « PRIMES is in P », Annals of Mathematics, vol. 160, no 2,‎ , p. 781–793 (DOI 10.4007/annals.2004.160.781, lire en ligne [archive du ])
  21. ↑ Alexander A. Razborov et Steven Rudich, « Natural proofs », Journal of Computer and System Sciences, vol. 55, no 1,‎ , p. 24–35 (DOI 10.1006/jcss.1997.1494)
  22. ↑ Daniel A. Spielman et Shang-Hua Teng, « Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time », Journal of the ACM, vol. 51, no 3,‎ , p. 385–463 (lire en ligne [archive du ])
  23. ↑ Omer Reingold, Salil Vadhan et Avi Wigderson, « Entropy waves, the zig-zag graph product, and new constant-degree expanders », Annals of Mathematics, vol. 155, no 1,‎ , p. 157–187 (DOI 10.2307/3062153, JSTOR 3062153, MR 1888797, lire en ligne [archive du ])
  24. ↑ Omer Reingold, « Undirected connectivity in log-space », Journal of the ACM, vol. 55, no 4,‎ , p. 1–24 (lire en ligne)
  25. ↑ Sanjeev Arora, « Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems », Journal of the ACM, vol. 45, no 5,‎ , p. 753–782 (DOI 10.1145/290179.290180)
  26. ↑ Joseph S. B. Mitchell, « Guillotine Subdivisions Approximate Polygonal Subdivisions: A Simple Polynomial-Time Approximation Scheme for Geometric TSP, k-MST, and Related Problems », SIAM Journal on Computing, vol. 28, no 4,‎ , p. 1298–1309 (ISSN 1095-7111, DOI 10.1137/S0097539796309764)
  27. ↑ Johan Håstad, « Some optimal inapproximability results », Journal of the ACM, vol. 48,‎ , p. 798–859 (DOI 10.1145/502090.502098, lire en ligne)
  28. ↑ Elias Koutsoupias et Christos Papadimitriou, « Worst-case equilibria », Computer Science Review, vol. 3, no 2,‎ , p. 65–69 (DOI 10.1016/j.cosrev.2009.04.003)
  29. ↑ Tim Roughgarden et Éva Tardos, « How bad is selfish routing? », Journal of the ACM, vol. 49, no 2,‎ , p. 236–259 (DOI 10.1145/506147.506153)
  30. ↑ Noam Nisan et Amir Ronen, « Algorithmic Mechanism Design », Games and Economic Behavior, vol. 35, nos 1-2,‎ , p. 166–196 (DOI 10.1006/game.1999.0790)
  31. ↑ Dan Boneh et Matthew Franklin, « Identity-based encryption from the Weil pairing », SIAM Journal on Computing, vol. 32, no 3,‎ , p. 586–615 (DOI 10.1137/S0097539701398521, MR 2001745)
  32. ↑ Antoine Joux, « A one round protocol for tripartite Diffie-Hellman », Journal of Cryptology, vol. 17, no 4,‎ , p. 263–276 (DOI 10.1007/s00145-004-0312-y, MR 2090557)
  33. ↑ Ronald Fagin, Amnon Lotem et Moni Naor, « Optimal aggregation algorithms for middleware », Journal of Computer and System Sciences, vol. 66, no 4,‎ , p. 614-656 (DOI 10.1016/S0022-0000(03)00026-6)
  34. ↑ Daniel A. Spielman et Shang-Hua Teng, « Spectral Sparsification of Graphs », SIAM Journal on Computing, vol. 40, no 4,‎ , p. 981-1025 (ISSN 0097-5397, DOI 10.1137/08074489X).
  35. ↑ Daniel A. Spielman et Shang-Hua Teng, « A Local Clustering Algorithm for Massive Graphs and Its Application to Nearly Linear Time Graph Partitioning », SIAM Journal on Computing, vol. 42, no 1,‎ , p. 1-26 (ISSN 0097-5397, DOI 10.1137/080744888).
  36. ↑ Daniel A. Spielman et Shang-Hua Teng, « Nearly Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems », SIAM Journal on Matrix Analysis and Applications, vol. 35, no 3,‎ , p. 835-885 (ISSN 0895-4798, DOI 10.1137/090771430).
  37. ↑ Peter W. O’Hearn, « Resources, Concurrency, and Local Reasoning », Theoretical Computer Science, vol. 375, nos 1-3,‎ , p. 271-307.
  38. ↑ Stephen Brookes, « A Semantics for Concurrent Separation Logic », Theoretical Computer Science, vol. 375, nos 1-3,‎ , p. 227-270.
  39. ↑ Cynthia Dwork, Frank McSherry, Kobbi Nissim et Adam Smith, « Calibrating Noise to Sensitivity », Private Data Analysis Journal of Privacy and Confidentiality, vol. 7, no 3,‎ .
  40. ↑ (en) Oded Regev, « On lattices, learning with errors, random linear codes, and cryptography », Journal of the ACM, vol. 56, no 6,‎ , p. 34:1-34:40 (DOI 10.1145/1568318.1568324).
  41. ↑ (en) Irit Dinur, « The PCP theorem by gap amplification », Journal of the ACM, vol. 54, no 3,‎ , p. 12
  42. ↑ (en) Robin A. Moser et Gábor Tardos, « A constructive proof of the general Lovász Local Lemma », Journal of the ACM, vol. 57, no 2,‎ , p. 11:1-11:15
  43. ↑ Andrei A. Bulatov, « The complexity of the counting constraint satisfaction problem », Journal of the ACM, Association for Computing Machinery (ACM), vol. 60, no 5,‎ , p. 1–41 (ISSN 0004-5411, DOI 10.1145/2528400)
  44. ↑ Martin Dyer et David Richerby, « An Effective Dichotomy for the Counting Constraint Satisfaction Problem », Society for Industrial & Applied Mathematics (SIAM), vol. 42, no 3,‎ , p. 1245–1274 (ISSN 0097-5397, DOI 10.1137/100811258)
  45. ↑ Jin-Yi Cai et Xi Chen, « Complexity of Counting CSP with Complex Weights », Association for Computing Machinery (ACM), vol. 64, no 3,‎ , p. 1–39 (ISSN 0004-5411, DOI 10.1145/2822891)
  46. ↑ Zvika Brakerski et Vinod Vaikuntanathan, « Efficient Fully Homomorphic Encryption from (Standard) LWE », SIAM Journal on Computing, vol. 43, no 2,‎ , p. 831-871
  47. ↑ Zvika Brakerski, Craig Gentry et Vinod Vaikuntanathan, « (Leveled) fully homomorphic encryption without bootstrapping », ACM Transactions on Computation Theory, vol. 6, no 3,‎ , p. 13:1-13:36
  48. ↑ (en) Samuel Fiorini, Serge Massar, Sebastian Pokutta et Hans Raj Tiwary, « Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds », Proceedings of the 44th Symposium on Theory of Computing Conference, STOC 2012, ACM,‎ , p. 95–106 (ISBN 978-1-4503-1245-5, DOI 10.1145/2213977.2213988, lire en ligne, consulté le )
  49. ↑ (en) Thomas Rothvoss, « The matching polytope has exponential extension complexity », Proceedings of the 46th Symposium on Theory of Computing Conference, STOC 2014, ACM,‎ , p. 263–272 (ISBN 978-1-4503-2710-7, DOI 10.1145/2591796.2591834, lire en ligne, consulté le )

Notes

[modifier | modifier le code]

Notes

[modifier | modifier le code]
  1. ↑ Premiers paragraphes de la page du prix
  2. ↑ Jacques Stern, « Antoine Joux, Prix Gödel 2013 », 1024 - Bulletin de la société informatique de France, no 1,‎ , p. 107-110 (lire en ligne)
  3. ↑ Sur le site de l'EATCS : Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before Neumann's death, in what has become the famous "P versus NP" question.
  4. ↑ Annonce officielle du prix Godel 2014.
  5. ↑ Article à propos de l'article et du prix : Thore Husfeldt, « Personal reality (Gödel Prize 2014) » [archive du ], (consulté le ).
  6. ↑ « 2015 Gödel Prize », sur SIGACT
  7. ↑ « 2016 Gödel Prize », sur EATCS
  8. ↑ « 2017 Gödel Prize », sur EATCS.
  9. ↑ « 2021 Gödel Prize citation »
  10. ↑ « 2022 Gödel Prize citation »
  11. ↑ « 2023 Gödel Prize citation »
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Gödel Prize » (voir la liste des auteurs).

Voir aussi

[modifier | modifier le code]

Article connexe

[modifier | modifier le code]

Liens externes

[modifier | modifier le code]
v · m
Lauréats du prix Gödel
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Prix_Gödel&oldid=211388075 ».