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

Notes et références

Lien externe

  • Portail de l'informatique théorique
  • Portail des récompenses et distinctions
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.