Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > NGUYEN Thi Minh Tuyen
Présentation
Mme NGUYEN Thi Minh Tuyen

ATTENTION : ce membre a quitté le laboratoire le 30/06/2012
 
NGUYEN Doctorant
INRIA
Toccata

Tel : 01 74 85 42 69
Fax :
Bureau : 39/PCRI-S

Page personnelle : http://www.lri.fr/~nguyen/
Courrier électronique : Thi-Minh-Tuyen.Nguyen@lri.fr



Projets
   - Toccata









Thèses et habilitations
Doctorat   - Eviter les guet-apens des compilateurs : preuves formelles de programmes avec nombres flottants.