Andrés Krapf

Organization:	INRIA
Research Unit:	Sophia Antipolis
Project:	Everest
Phone:	(+33/0) 4 97 15 53 45
Fax:	(+33/0) 4 92 38 50 29
E-mail:	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 Sophia-Antipolis. My advisor has been Gilles Barthe. I have also worked with Anne Pacalet. I will be starting my phd theses early next year.

Research Interests

Program Specification
Formal Methods for Program Verification.
Virtualization Platforms.
Real Time Systems.

Current Work

Currently I am working on the formal specification and verification of Virtualization Platforms. You can find related material here.