Géraud Sénizergues
From Wikipedia, the free encyclopedia
Naissance
Nationalité
Activités
A travaillé pour
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[3], il a obtenu le Prix Humboldt en 2003.