Géraud Sénizergues
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.
Géraud Sénizergues
| Naissance | |
|---|---|
| Nationalité | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse |
Jean-Michel Autebert (d) |
| Distinctions |
Notes et références
- Senizergues, Géraud (1957-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le )
- Page officielle du prix Gödel 2002
Liens externes
- Page personnelle
- Ressources relatives à la recherche :
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.