Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > TAFAT BOUZID Asma
Présentation
Mme TAFAT BOUZID Asma

ATTENTION : ce membre a quitté le laboratoire le 31/08/2014
 
ATER Post-Doc
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : 01 72 92 59 79
Fax :
Bureau : 68/PCRI-S

Page personnelle : http://www.lri.fr/~atafat/
Courrier électronique : Asma.Tafat-Bouzid@lri.fr

Activités de recherche
   - Vérification déductive de programmes


Projets
   - Toccata









Thèses et habilitations
Doctorat   - Preuves par raffinement de programmes avec pointeurs