Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > URRIBARRI Wendi
About LRI
Mrs URRIBARRI Wendi

Warning: this member left the laboratory on 31/08/2011
 
URRIBARRI ATER
IUT Sceaux
Toccata

Tel : +33 1 72 92 59 95
Fax : +33 1 74 85 42 29
Office : 39/PCRI-S

Personal web page : http://www.lri.fr/~uwendi/
Email : uwendi@lri.fr

Research activities
   - Verification
   - Program proof
   - Formal Methods for Software Engineering


Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Thesis in progress   - Towards certified librairies