Géraud Sénizergues

From Wikipedia, the free encyclopedia

Naissance
Nationalité
A travaillé pour
Géraud Sénizergues
Biographie
Naissance
Nationalité
Activités
Autres informations
A travaillé pour
Directeur de thèse
Jean-Michel Autebert (d)Voir et modifier les données sur Wikidata
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.

Liens externes

Related Articles

Wikiwand AI