Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > GALLOIS-WONG Diane
About LRI
Mrs GALLOIS-WONG Diane
Doctorant
INRIA
Verification of Algorithms, Languages and Systems

Tel : 0169157236
Fax :
Office : 68/PCRI-S

Personal web page : http://www.lri.fr/~gallois/
Email : Diane.Gallois-Wong@lri.fr



Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Thesis in progress   - Vérification formelle et filtres numériques