Gonthier, Georges (1962-....)

Gonthier, Georges (1962-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 033817391

URI de l'entité : http://www.idref.fr/033817391/id

Notice de type Personne

Point d'accès autorisé

Gonthier, Georges (1962-....)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français,anglais

Pays : France

Date de naissance : 1962

Notes

Note publique d'information :

Docteur en informatique (Paris 11, 1988). Chercheur à l'INRIA, puis à Microsoft Research Cambridge (en 2020)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/262324638

Identifiant Wikidata : Q5546810

Identifiant ZBMath : gonthier.georges

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Georges_Gonthier

Identifiant SCOPUS : 55910425700

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb12463626f

Identifiant ISNI : 0000000381690324

Source

Sémantiques et modèles d'exécution des langages réactifs synchrones : application à ESTEREL / Georges Gonthier, 1988 [thèse]

https://www.msr-inria.fr/researchers/georges-gonthier/, 2020-12-09

Information trouvée : Chercheur à l'INRIA, puis à Microsoft Research Cambridge (en 2020)

... Références liées : ...