Géraud Sénizergues
Cet article est une ébauche concernant l’informatique et l’informatique théorique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Géraud Sénizergues
Naissance | France |
---|---|
Nationalité | française |
Activités | Informaticien, chercheur |
A travaillé pour | |
---|---|
Directeur de thèse | Jean-Michel Autebert (d) |
Distinctions | Prix Gödel () Prix Gay-Lussac Humboldt () |
modifier - modifier le code - modifier Wikidata
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
Liens externes
- Page personnelle
- Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
v · m Lauréats du prix Gödel | |
---|---|
|
- Portail de l'informatique théorique