Géraud Sénizergues

Biographie
Naissance	1957; France
Nationalité	française
Activités	Informaticien, chercheur
A travaillé pour	Université de Bordeaux
Directeur de thèse	Jean-Michel Autebert (d)
Distinctions	Prix Gödel (2002); Prix Gay-Lussac Humboldt (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.

Géraud Sénizergues, né le 9 mars 1957^[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.

Notes et références

↑ Senizergues, Géraud (1957-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le 16 février 2018)
↑ Page officielle du prix Gödel 2002
↑ Géraud Sénizergues, « L(A)=L(B)? decidability results from complete formal systems », Theoretical Computer Science, vol. 251, n^o 1,‎ 28 janvier 2001, p. 1–166 (ISSN 0304-3975, DOI 10.1016/S0304-3975(00)00285-1, lire en ligne, consulté le 30 septembre 2024)