Prix Presburger

Prix Presburger

Présentation

Type	Prix scientifique (d)
Fondation	2010

modifier - modifier le code - modifier Wikidata

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[1]. 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[2]
• 2011 : Patricia Bouyer-Decitre[2]
• 2012 : Venkatesan Guruswami et Mihai Pătraşcu[3]
• 2013 : Erik Demaine[4]
• 2014 : David P. Woodruff[5]
• 2015 : Xi Chen
• 2016 : Mark Braverman[6]
• 2017 : Alexandra Silva[7], pour ses travaux sur les coalgèbres comme outils pour comprendre, entre autres, les opérations sur les automates finis[8].
• 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[9] 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[10] pour ses travaux sur le problème du voyageur de commerce et les problèmes liés.
• 2022 : Dor Minzer[11].
• 2023 : Aaron Bernstein et Thatchaphol Saranurak[12].
• 2024 : Justin Hsu et Pravesh Kothari[13].

Notes et références

• Cet article est partiellement ou en totalité issu de l'article intitulé « European Association for Theoretical Computer Science » (voir la liste des auteurs).

1. « Presburger Award », sur EATCS.
2. « Presburger Award, EATCS » (consulté le 23 avril 2012)
3. « Presburger Award 2012, EATCS » (consulté le 23 avril 2012)
4. « Presburger Award 2013, EATCS » (consulté le 15 février 2013)
5. « Presburger Award 2014, EATCS » (consulté le 8 mars 2014)
6. Efi Chita, « The EATCS bestows the Presburger Award 2016 on Mark Braverman (Princeton University) », sur eatcs.org (consulté le 25 mars 2016).
7. « The EATCS bestows the Presburger Award 2017 on Alexandra Silva (University College London) », sur eatcs.org (consulté le 29 mai 2017).
8. « Laudatio 2017 ».
9. (en) « The 2020 Presburger Committee consisting of Thore Husfeldt, Meena Mahajan and Anca Muscholl (chair) has unanimously selected Dmitriy Zhuk (Lomonosov Moscow State University) as recipient of the 2020 EATCS Presburger Award for young scientists.http://eatcs.org/ », sur twitter.com, @eatcs_secretary, 26 mars 2020 (consulté le 5 avril 2020).
10. « Laudatio for Shayan Oveis Gharan »
11. « Presburger Award 2022 – Laudatio for Dor Minzer », European Association for Theoretical Computer Science (consulté le 14 juillet 2022)
12. « Presburger Award 2023 », sur eatcs.org, European Association for Theoretical Computer Science (consulté le 1^er juillet 2024).
13. « Presburger Award 2024 – Laudatio », sur eatcs.org, European Association for Theoretical Computer Science (consulté le 1^er juillet 2024).

Lien externe

• « Presburger Award », sur EATCS