Dr. Eduardo Gimenez
e-mail: mowgli at trusted-logic dot fr
Home Page: http://pauillac.inria.fr/~gimenez/
Address: 5, rue du Bailliage 78000 Versailles FRANCE
Telephone number: +33 - 1 30 97 25 13
Fax number: +33 - 1 30 97 25 19
The keywords of my work are : formal methods, program specification and program certification, type theory, proof environments, Java cards, information security.
My work concerns the application of type theory as a programming logic for developping certified programs. I am specially interested in verifying security properties concerning open embedded systems like Java smart cards.