Géraud Sénizergues

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Géraud Sénizergues
GS2017.jpg
Biographie
Naissance
Nationalité
Activités
Autres informations
A travaillé pour
Domaine
Distinctions

Géraud Sénizergues, né le [1], est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique (LaBRI). Récipiendaire du Prix Gödel en 2002[2] pour avoir démontré la décidabilité de l'égalité des langages reconnus par des automates à pile déterministes, il a obtenu le Prix Humboldt en 2003.

Notes et références[modifier | modifier le code]

  1. Senizergues, Géraud (1957-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le 16 février 2018)
  2. Page officielle du prix Gödel 2002

Liens externes[modifier | modifier le code]