Le prix Presburger est une distinction décernée par l'European Association for Theoretical Computer Science (EATCS) à un jeune scientifique qui a apporté des contributions exceptionnelles au domaine de l'informatique théorique. Le prix porte le nom du mathématicien polonais Mojżesz Presburger.
Description Depuis 2010, l'EATCS décerne chaque année, lors de la conférence ICALP, un prix Presburger à un jeune chercheur (rarement à plusieurs jeunes chercheurs) pour une contribution exceptionnelle en informatique théorique, attestée par un article ou une série d'articles publiés.. Le prix porte le nom de Mojżesz Presburger qui a réalisé son travail novateur sur la décidabilité de la théorie de l'addition (qu'on appelle maintenant l'arithmétique de Presburger) en 1929, alors qu'il était encore étudiant.
Lauréats 2010 : Mikołaj Bojańczyk 2011 : Patricia Bouyer-Decitre 2012 : Venkatesan Guruswami et Mihai Pătraşcu 2013 : Erik Demaine 2014 : David P. Woodruff 2015 : Xi Chen 2016 : Mark Braverman. 2017 : Alexandra Silva., pour ses travaux sur les coalgèbres comme outils pour comprendre, entre autres, les opérations sur les automates finis.. 2018 : Aleksander Madry, pour ses travaux sur le problème de flot maximum. 2019 : Karl Bringmann et Kasper Green Larsen pour des bornes inférieures. 2020 : Dmitriy Zhuk. pour avoir donné, en 2017, une solution positive à la conjecture de dichotomie du CSP (constraint satisfaction problem) de Feder et Vardi. 2021 : Shayan Oveis Gharan« Laudatio for Shayan Oveis Gharan » pour ses travaux sur le problème du voyageur de commerce et les problèmes liés. 2022 : Dor Minzer. 2023 : Aaron Bernstein et Thatchaphol Saranurak.. 2024 : Justin Hsu et Pravesh Kothari.. 2025 : Tomasz Kociumaka et Sepehr Assadi
Notes et références
Liens externes
Articles connexes Liste de prix en informatique
Catégorie:Distinction en informatique Catégorie:Distinction fondée en 2010