Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > NGUYEN Thi Minh Tuyen
About LRI
Mrs NGUYEN Thi Minh Tuyen

Warning: this member left the laboratory on 30/06/2012
 
NGUYEN Doctorant
INRIA
Toccata

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

Personal web page : http://www.lri.fr/~nguyen/
Email : Thi-Minh-Tuyen.Nguyen@lri.fr



Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Ph.D   - Taking architecture and compiler into account in formal proofs of numerical programs"