Prix Presburger
# Prix Presburger

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 pour ses travaux sur le problème du voyageur de commerce et les problèmes liés.
* 2022 : Dor Minzer.
