Prix Presburger

Le prix Presburger est une distinction qui est décernée chaque année, depuis 2010 par l'European Association for Theoretical Computer Science (EATCS). Il est attribué à 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. Il est remis au lauréat lors du colloque ICALP.

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
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[2]
2017 : Alexandra Silva[3], pour ses travaux sur les coalgèbres comme outils pour comprendre, entre autres, les opérations sur les automates finis[4].
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[5] 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[6] pour ses travaux sur le problème du voyageur de commerce et les problèmes liés.

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).

« Presburger Award », sur EATCS.
Efi Chita, « The EATCS bestows the Presburger Award 2016 on Mark Braverman (Princeton University) », sur eatcs.org (consulté le 25 mars 2016).
« The EATCS bestows the Presburger Award 2017 on Alexandra Silva (University College London) », sur eatcs.org (consulté le 29 mai 2017).
« Laudatio 2017 ».
(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).
« Laudatio for Shayan Oveis Gharan »

Lien externe

« Presburger Award », sur EATCS

Portail de l'informatique théorique
Portail des récompenses et distinctions

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] « Presburger Award », sur EATCS.

[2] Efi Chita, « The EATCS bestows the Presburger Award 2016 on Mark Braverman (Princeton University) », sur eatcs.org (consulté le 25 mars 2016).

[3] « The EATCS bestows the Presburger Award 2017 on Alexandra Silva (University College London) », sur eatcs.org (consulté le 29 mai 2017).

[4] « Laudatio 2017 ».

[5] (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).

[6] « Laudatio for Shayan Oveis Gharan »