Aller au contenu

Géraud Sénizergues

Un article de Wikipédia, l'encyclopédie libre.

Cet article est uneébaucheconcernant l’informatiqueet l’informatique théorique.

Vous pouvez partager vos connaissances en l’améliorant (comment?) selon les recommandations desprojets correspondants.

Géraud Sénizergues
Biographie
Naissance
Nationalité
Activités
Autres informations
A travaillé pour
Directeur de thèse
Jean-Michel Autebert(d)Voir et modifier les données sur Wikidata
Distinctions

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

Géraud Sénizergues,né le[1],est professeur d'informatique à l'Université de Bordeauxet membre duLaboratoire bordelais de recherche en informatique(LaBRI). Récipiendaire duPrix Gödelen 2002[2]pour avoir démontré ladécidabilitéde l'égalité deslangagesreconnus par desautomates à pile déterministes[3],il a obtenu lePrix Humboldten 2003.

Notes et références

[modifier|modifier le code]
  1. ↑Senizergues, Géraud(1957-....),«BnF Catalogue général», surcatalogue.bnf.fr(consulté le)
  2. ↑Page officielle du prix Gödel 2002
  3. ↑GéraudSénizergues,«L(A)=L(B)? decidability results from complete formal systems»,Theoretical Computer Science,vol.251,no1,‎,p.1–166(ISSN0304-3975,DOI10.1016/S0304-3975(00)00285-1,lire en ligne,consulté le)

Liens externes

[modifier|modifier le code]
v·m
Lauréats duprix Gödel
Ce document provient de «https://fr.wikipedia.org/w/index.php?title=Géraud_Sénizergues&oldid=219049906».