Géraud Sénizergues
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
| Naissance | |
|---|---|
| Nationalité | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse |
Jean-Michel Autebert (d) |
| 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.
Notes et références
[modifier | modifier le code]- Senizergues, Géraud (1957-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le )
- 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, no 1, , p. 1–166 (ISSN 0304-3975, DOI 10.1016/S0304-3975(00)00285-1, lire en ligne, consulté le )
Liens externes
[modifier | modifier le code]- Page personnelle
- Ressources relatives à la recherche :
