Voir la source de Prix Gödel

<!--MERCI DE BIEN LIRE LA DOCUMENTATION DU MODELE AVANT DE RENSEIGNER LES CHAMPS-->
{{Infobox Récompense
 | charte             = 
 | titre              = 
 | nom original       = <!--Si différent du titre-->
 | image              = 1925 kurt gödel.png 
 | taille image       = 120
 | légende            = Kurt Gödel en 1925
 | cérémonie actuelle = <!--La plus récente ou la prochaine-->
 | prix remis         = 
 | description        = 
 | organisateur       = [[European Association for Theoretical Computer Science|EATCS]] et [[Special Interest Group on Algorithms and Computation Theory|SIGACT]]
 | pays               = 
 | date de création   = [[1992 en informatique|1992]]
 | détenu par         = <!--Si applicable-->
 | site officiel      = 
}}
Le '''prix Gödel''' est une distinction créée en [[1992 en informatique|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 ==
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 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 ==
{| class="wikitable sortable"
|+Liste des lauréats
!Année
!class="unsortable"|Nom(s) 
!class="unsortable"|Contribution(s)
|-
|[[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]])
|Développement de la notion de [[système de preuve interactive]]
|-
|[[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]])
|[[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]]
|[[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
|-
|[[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]])
|Leurs travaux sur les [[Chaîne de Markov|chaînes de Markov]] et l'approximation du [[Permanent (mathématiques)|permanent]]
|-
|[[1997]]
|[[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]])
|Le développement de la notion d'information dans le contexte des systèmes distribués
|-
|[[1998]]
|[[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]]
|-
|[[1999]]
|[[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]]
|-
|[[2000]]
|[[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]]
|-
|[[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]]) 
|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>
|-
|[[2002]]
|[[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]] 
reconnus par des [[Automate à pile|automates à piles]] déterministes
|-
|[[2003]]
|[[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>
|-
|[[2004]]
|[[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
| 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]]
|[[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]]
|-
|[[2006]]
|[[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>
|-
|[[2007]]
|[[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>
|-
|[[2008]]
|[[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>
|-
|[[2009]]
|[[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>
|-
|[[2010]]
|[[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
|-
|[[2011]]
|[[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>
|-
|[[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]])
|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]]
|[[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>
|-
|[[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]])
|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]]
|[[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]])
|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]]
|[[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]])
|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 = 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]]
|[[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]])
|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]]
|[[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>
|-
| [[2019 en informatique|2019]]
| [[Irit Dinur]]
| Pour une preuve fondamentalement différent du [[théorème PCP]], plus simple, plus direct et plus efficace<ref group="A"> {{Article
 | langue                 = en
 | prénom1                = Irit
 | nom1                   = Dinur
 | titre                  = The PCP theorem by gap amplification
 | périodique             = Journal of the ACM
 | lien périodique        = Journal of the ACM
 | volume                 = 54
 | numéro                 = 3
 | année                  = 2007
 | pages                  = 12
}}
 </ref>.
|-
|[[2020]]
| [[Robin A. Moser]] et {{lien|Gábor Tardos}}
|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=}}
 </ref>.
|}

== Articles distingués ==
{{Références|group="A"|colonnes=2}}

== Notes ==
=== Notes ===
{{Références}}
{{Traduction/Référence|en|Gödel Prize|408393299|type=note}}

== Voir aussi ==
=== Article connexe ===
* [[Prix Knuth]]

=== Liens externes ===
* [http://www.eatcs.org/index.php/goedel-prize Prix Gödel] sur l'[[EATCS]]
* [http://www.sigact.org/Prizes/Godel/ Prix Gödel] sur [[SIGACT]]

{{Palette|Lauréats du prix Gödel|Récompenses internationales}}
{{Portail|informatique théorique|Récompenses et distinctions}}

[[Catégorie:Distinction en informatique|Gödel]]
[[Catégorie:Événement en informatique]]
[[Catégorie:Informatique théorique]]
[[Catégorie:Kurt Gödel]]