Géraud Sénizergues

Géraud Sénizergues, né le 9 mars 1957[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

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

Liens externes

Page personnelle
Ressources relatives à la recherche :
- (en) Digital Bibliography & Library Project
- (en) Mathematics Genealogy Project
Notices d'autorité :

Portail de l'informatique théorique

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.