 |
 |
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
|
