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[1]. 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[2]
  • 2011 : Patricia Bouyer-Decitre[2]
  • 2012 : Venkatesan Guruswami et Mihai Pătraşcu[3]
  • 2013 : Erik Demaine[4]
  • 2014 : David P. Woodruff[5]
  • 2015 : Xi Chen
  • 2016 : Mark Braverman[6]
  • 2017 : Alexandra Silva[7], pour ses travaux sur les coalgèbres comme outils pour comprendre, entre autres, les opérations sur les automates finis[8].
  • 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[9] 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[10] pour ses travaux sur le problème du voyageur de commerce et les problèmes liés.
  • 2022 : Dor Minzer[11].

Notes et références

  • Cet article est partiellement ou en totalité issu de l'article intitulé « European Association for Theoretical Computer Science » (voir la liste des auteurs).
  1. ↑ « Presburger Award », sur EATCS.
  2. ↑ a et b « Presburger Award, EATCS » (consulté le )
  3. ↑ « Presburger Award 2012, EATCS » (consulté le )
  4. ↑ « Presburger Award 2013, EATCS » (consulté le )
  5. ↑ « Presburger Award 2014, EATCS » (consulté le )
  6. ↑ Efi Chita, « The EATCS bestows the Presburger Award 2016 on Mark Braverman (Princeton University) », sur eatcs.org (consulté le ).
  7. ↑ « The EATCS bestows the Presburger Award 2017 on Alexandra Silva (University College London) », sur eatcs.org (consulté le ).
  8. ↑ « Laudatio 2017 ».
  9. ↑ (en) « The 2020 Presburger Committee consisting of Thore Husfeldt, Meena Mahajan and Anca Muscholl (chair) has unanimously selected Dmitriy Zhuk (Lomonosov Moscow State University) as recipient of the 2020 EATCS Presburger Award for young scientists.http://eatcs.org/ », sur twitter.com, @eatcs_secretary, (consulté le ).
  10. ↑ « Laudatio for Shayan Oveis Gharan »
  11. ↑ « Presburger Award 2022 – Laudatio for Dor Minzer », European Association for Theoretical Computer Science (consulté le )

Lien externe

  • « Presburger Award », sur EATCS
v · m
Lauréats du prix Presburger
  • icône décorative Portail de l'informatique théorique
  • icône décorative Portail des récompenses et distinctions