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.

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)