Géraud Sénizergues
ingénieur informaticien français / De Wikipedia, l'encyclopédie encyclopedia
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.
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.
Faits en bref Naissance, Nationalité ...
Géraud Sénizergues
Naissance | |
---|---|
Nationalité | |
Activités |
A travaillé pour | |
---|---|
Directeur de thèse |
Jean-Michel Autebert (d) |
Distinctions |
Fermer