Géraud Sénizergues
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/35px-Circle-icons-computer.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/44px-Max-cut.svg.png)
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
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/GS2017.jpg/260px-GS2017.jpg)
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
- WorldCat
v · m Lauréats du prix Gödel | |
---|---|
|
Portail de l'informatique théorique