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

Point d'accès autorisé

Jourdan, Jacques-Henri (1989-....)

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
Pays : France
Date de naissance :    1989
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat d'Informatique obtenu en 2016

Identifiants externes

Identifiant HAL : jacques-henri-jourdan
Identifiant SCOPUS : 55154421500

Source

Verasco : a Formally Verified C Static Analyzer / Jacques-Henri Jourdan ; sous la direction de Xavier Leroy, 2016. Thèse de doctorat : Informatique : Paris, Sorbonne Paris Cité : 2016

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