Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > NGUYEN VAN Hai
About LRI
Mr NGUYEN VAN Hai

Warning: this member left the laboratory on 30/09/2018
 
NGUYEN VAN Doctorant
Université Paris-Sud
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 73/PCRI-S

Personal web page : http://perso.crans.org/nguyen-van
Email : Hai.Nguyen-Van@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants

Publications









Ph.D. dissertations & Faculty habilitations
Ph.D   - Formalizing Time and Causality in Polychronous Polytimed Models