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

ATTENTION : ce membre a quitté le laboratoire le 31/12/2014
 
NGUYEN Post-doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 39/PCRI-S

Page personnelle : http://www.lri.fr/~nhnghia/
Courrier électronique : Huu-Nghia.Nguyen@lri.fr

Activités de recherche
   - Test formel basé sur les modèles










Thèses et habilitations
Doctorat   - Approche symbolique pour la vérification et le test de la chorégraphie

Participations à des contrats
   - DATE - AMSUD