Presburger Award
premio nell'informatica
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 modifica
I vincitori del premio sono stati:
Note modifica
- ^ (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.
- ^ a b (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