Guillaume Dufay

Post-doctoral researcher


Associated with the Lande research group at IRISA.

Research Interests

Ph. D. Thesis

Formal Verification of the JavaCard Platform.

Research at INRIA Sophia Antipolis in the Everest team.
Degree from the University of Nice.


Contact Information

Guillaume Dufay
IRISA - Projet Lande
Campus de Beaulieu
F-35042 Rennes Cedex

Office: D068


Phone: +33 2 99 84 74 04
Fax: +33 2 99 84 71 71