Prix Donald E. Knuth
| Prix Donald E. Knuth | |
| Date de création | 1996 |
|---|---|
modifier  |
|
Le prix Knuth récompense les scientifiques ayant apporté une contribution exceptionnelle en informatique théorique. Il porte le nom de Donald E. Knuth, l'un des plus grands contributeurs à l'informatique théorique.
Le prix Knuth est attribué tous les dix-huit mois, depuis 1996 ; il inclut une récompense de 5 000 USD. Le prix est attribué par le groupe d'intérêt SIGACT de l'ACM et le comité technique d'informatique théorique de l'IEEE. Les prix sont attribués en alternance au colloque ACM STOCS (Symposium on Theory of Computing) et à la conférence IEEE FOCS (Symposium on Foundations of Computer Science) qui sont parmi les conférences les plus prestigieuses d'informatique théorique[1]. Contrairement au prix Gödel qui récompense les articles exceptionnels, le prix Knuth est attribué aux individus[2].
Récipiendaires
[modifier | modifier le code]- 1996 - Andrew Chi-Chih Yao
- 1997 - Leslie Valiant
- 1999 - László Lovász
- 2000 - Jeffrey D. Ullman
- 2002 - Christos Papadimitriou
- 2003 - Miklos Ajtai
- 2005 - Mihalis Yannakakis
- 2007 - Nancy Lynch
- 2008 - Volker Strassen
- 2010 - David Johnson
- 2011 - Ravi Kannan
- 2012 - Leonid Levin
- 2013 - Gary L. Miller[3]
- 2014 - Richard J. Lipton[4]
- 2015 - László Babai, pour ses travaux sur les preuves interactives, la notion de preuve, et les implications en théorie de la complexité[5]
- 2016 - Noam Nisan, pour son travail en complexité de la communication, sur les générateurs de nombres pseudo-aléatoires, les preuves interactives, et en théorie algorithmique des jeux[6].
- 2017 - Oded Goldreich[7], pour ses avancées en cryptographie, théorie de l’aléa, des preuves interactives, théorie de l'inapproximabilité, en test de propriété et en théorie de la complexité.
- 2018 - Johan Håstad pour ses travaux en optimisation, cryptographie, calcul parallèle et theorie de la complexité, en particulier ses travaux sur les circuits booléens, le théorème PCP, des résultats d'inapproximabilité et les générateurs pseudo-aléatoires.
- 2019 - Avi Wigderson, pour ses travaux sur les algorithmes probabilistes, la dérandomisation de la classe BPP, les preuves à divulgation nulle de connaissance, les systèmes de preuve interactive (menant au théorème PCP), les algorithmes parallèles,et les graphes expanseurs.
- 2020 - Cynthia Dwork, pour avoir transformé plusieurs domaines de l'informatique théorique, notamment le calcul distribué, la cryptographie, la confidentialité des données et plus récemment le biais algorithmique. Elle est surtout connu pour l'introduction de la notion de confidentialité différentielle, ses travaux sur la malléabilité en cryptographie, la cryptographie à base de treillis (en), la composition concurrente, et les preuves de travail[8].
- 2021 - Moshe Vardi, pour ses contributions en théorie des automates, en vérification, en théorie des bases de données, en complexité descriptive et sur la notion de connaissance dans les systèmes distribués.
- 2022 - Noga Alon, pour ses contributions fondamentales en combinatoire et en théorie des graphes et des applications à des sujets fondamentaux de l'informatique[9].
- 2023 - Éva Tardos, pour ses contributions soutenues à la définition et à l'évolution de plusieurs domaines de l'algorithmique, notamment ses travaux fondamentaux sur les algorithmes combinatoires, les algorithmes d'approximation et la théorie des jeux[10].
Lien externe
[modifier | modifier le code]- Liste des récipiendaires sur la page du sigact.
Notes et références
[modifier | modifier le code]- Elles se classent respectivement 5e et 6e, dans le classement de Microsoft Academic Research (consulté le 29 novembre 2013).
- La page du prix.
- Annonce ACM « Copie archivée » (version du sur Internet Archive).
- Annonce du prix 2014
- « Communiqué de presse », .
- « ACM Awards Knuth Prize to Pioneer of Algorithmic Game Theory », sur ACM, .
- « 2017 Knuth prize is Awarded to Oded Goldreich », sur SIGACT, .
- « 2020 Knuth Prize is awarded to Cynthia Dwork »
- « 2022 Knuth Prize Awarded to Noga Alon », sur ACM Special Interest Group on Algorithms and Computation Theory (consulté le ).
- Citation du Sigact du prix Knuth 2023.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
