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
Biographie
Naissance
Voir et modifier les données sur Wikidata
FranceVoir et modifier les données sur Wikidata
Nationalité
françaiseVoir et modifier les données sur Wikidata
Activités
Informaticien, chercheurVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Directeur de thèse
Jean-Michel Autebert (d)Voir et modifier les données sur Wikidata
Distinctions
Prix Gödel ()
Prix Gay-Lussac Humboldt ()Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

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, il a obtenu le Prix Humboldt en 2003.

Notes et références

  1. ↑ Senizergues, Géraud (1957-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le )
  2. ↑ Page officielle du prix Gödel 2002

Liens externes

  • Page personnelle
  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Mathematics Genealogy Project
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • VIAF
    • ISNI
    • BnF (données)
    • IdRef
    • WorldCat
v · m
Lauréats du prix Gödel
  • icône décorative Portail de l'informatique théorique