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 :
Courrier électronique : Diane.Gallois-Wong@lri.fr



Projets
   - Toccata









Thèses et habilitations
Thèse en cours   - Vérification formelle et filtres numériques