Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > NGUYEN VAN Hai
Présentation
M. NGUYEN VAN Hai

ATTENTION : ce membre a quitté le laboratoire le 30/09/2018
 
NGUYEN VAN Doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 73/PCRI-S

Page personnelle : http://perso.crans.org/nguyen-van
Courrier électronique : Hai.Nguyen-Van@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve

Publications









Thèses et habilitations
Doctorat   - Formalizing Time and Causality in Polychronous Polytimed Models