Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > GALLOIS-WONG Diane
Présentation
Mme GALLOIS-WONG Diane
Doctorant
INRIA
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 68/PCRI-S

Page personnelle : http://www.lri.fr/~gallois/
Courrier électronique : Diane.Gallois-Wong@lri.fr



Projets
   - Toccata









Thèses et habilitations
Doctorat   - Vérification formelle et filtres numériques