Géraud Sénizergues, né le , 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 2002Page officielle du prix Gödel 2002 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

Catégorie:Informaticien français Catégorie:Personnalité en informatique théorique Catégorie:Lauréat du prix Gay-Lussac Humboldt Catégorie:Lauréat du prix Gödel Catégorie:Naissance en mars 1957