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[1], documentato da un articolo pubblicato o da una serie di articoli pubblicati"[2]. 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[3]. Mikołaj Bojańczyk è stato il primo laureato.
Premiati
I vincitori del premio sono stati:
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.