Doctorant
Équipe Spécification et vérification de systèmes
Encadré par Régine Laleau & Amel Mammar (Télécom Sud-Paris), thèse en co-tutelle avec l'université de Sherbrooke

Bureau: P2 214
Email: nghi.huyunh@lacl.fr
Tél. +33: 01 45 17 65 96
Fax +33: 01 45 17 66 01