Géraud Sénizergues — Wikipédia
Géraud Sénizergues
Naissance | |
---|---|
Nationalité | |
Activités |
A travaillé pour | |
---|---|
Directeur de thèse | Jean-Michel Autebert (d) |
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]- Senizergues, Géraud (1957-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le )
- Page officielle du prix Gödel 2002
Liens externes
[modifier | modifier le code]- Page personnelle
- Ressources relatives à la recherche :