|
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.
This page is hosted by the
Department of Computer Science,
University of Bologna.
Last updated Fri Feb 2 17:12:32 CET 2007. |
|