Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > TAFAT BOUZID Asma
About LRI
Mrs TAFAT BOUZID Asma

Warning: this member left the laboratory on 31/08/2014
 
ATER Post-Doc
Université Paris-Sud
Verification of Algorithms, Languages and Systems

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

Personal web page : http://www.lri.fr/~atafat/
Email : Asma.Tafat-Bouzid@lri.fr

Research activities
   - Deductive Verification of Programs


Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Ph.D   - Preuves par raffinement de programmes avec pointeurs