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 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éoriqueElles se classent respectivement et , dans le classement de Microsoft Academic Research (consulté le 29 novembre 2013).. Contrairement au prix Gödel qui récompense les articles exceptionnels, le prix Knuth est attribué aux individusLa page du prix..
Récipiendaires
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 Annonce ACM . 2014 - Richard J. Lipton Annonce du prix 2014 2015 - László Babai, pour ses travaux sur les preuves interactives, la notion de preuve, et les implications en théorie de la complexité. 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.. 2017 - Oded Goldreich., 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 , la composition concurrente, et les preuves de travail. 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.. 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.. 2024 - Rajeev Alur, pour son introduction de nouveaux modèles de calcul qui apportent des fondations théoriques à l'analyse, le design, la syntèse et la vérification de systèmes informatiques.. 2025 - , pour ses travaux dans les domaines de la géométrie algorithmique, de la géométrie discrète et de la planification de mouvement..
Lien externe Liste des récipiendaires sur la page du sigact. Articles connexes Liste de prix en informatique
Notes et références
Knuth Catégorie:Informatique théorique