paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 095612777Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Jéron, Thierry (1963-....)

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 :    1963
Genre : Masculin

Notes

Note publique d'information : 
Responsable scientifique du projet Inria VerTeCS à l'IRISA (Rennes) (depuis 2001)

Note publique d'information : 
Titulaire d'une habilitation à diriger des recherches en 2004

Identifiants externes

Identifiant HAL : thierry-jeron
Identifiant VIAF : http://viaf.org/viaf/196098742
Identifiant ORCID : 0000-0002-9922-6186
Identifiant ISNI : 0000000139553110

Source

Abstract interpretation of FIFO channels / Bertrand Jeannet, 2005

Internet, www.irisa.fr/prive/jeron/Thierry.Jeron.html, 2008-07-24

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