Accueil
>
Présentation
>
Personnel
> NGUYEN Huu Nghia
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
M. NGUYEN Huu Nghia
ATTENTION : ce membre a quitté le laboratoire le 31/12/2014
Post-doctorant
Université Paris-Saclay
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
