Presburger Award
# Presburger Award

Il Premio Presburger è un riconoscimento istituito nel 2010 che ogni anno viene conferito dalla European Association for Theoretical Computer Science (EATCS) a "un giovane scienziato per contributi eccezionali in informatica teorica, documentato da un articolo pubblicato o da una serie di articoli pubblicati". Il premio prende il nome dal matematico polacco Mojżesz Presburger che nel 1929 ha realizzato una versione semplificata dell’aritmetica di Peano, chiamata oggi l'aritmetica di Presburger. Mikołaj Bojańczyk è stato il primo laureato.

## Premiati

I vincitori del premio sono stati:

* Mikołaj Bojańczyk (2010)
* Patricia Bouyer-Decitre (2011)
* Venkatesan Guruswami e Mihai Pătrașcu (2012)
* Erik Demaine (2013)
* David Woodruff (2014)
* Xi Chen (2015)
* Mark Braverman (2016)
* Alexandra Silva (2017)
* Aleksander Mądry (2018)
