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)
Note
- ↑ (EN) Presburger Award for Young Scientists in theoretical computer science, su Institute for Logic, Language and Computation.
- ↑ (EN) Presburger Award, su eatcs.org.
- ↑ aritmetica di Presburger, su Enciclopedia Treccani.
- 1 2 (EN) Presburger Award, su eatcs.org.
- ↑ (EN) Presburger Award 2012, su eatcs.org.
- ↑ (EN) Presburger Award 2013, su eatcs.org.
- ↑ (EN) Presburger Award 2014, su eatcs.org.
- ↑ (EN) Interview with Alexandra Silva Recipient of the 2017 Presburger Award, semanticscholar.org
- ↑ (EN) The Presburger Award 2018 - Laudatio for Aleksander Madry, semanticscholar.org
Voci correlate
Collegamenti esterni
- Sito ufficiale, su eatcs.org.
