||(+33/0) 4 97 15 53 45
||(+33/0) 4 92 38 50 29
||Andres dot Krapf at sophia dot inria dot fr
||( replace dot by . and at by @ )
I have been doing an internship since May until October 2007 in Everest
team at INRIA
My advisor has been
Gilles Barthe. I have also worked with Anne
Pacalet. I will be starting my phd theses early next year.
- Program Specification
- Formal Methods for Program Verification.
- Virtualization Platforms.
- Real Time Systems.
Currently I am working on the formal specification and verification
of Virtualization Platforms.
You can find related material here.