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

Research Interests:

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:23 CET 2007.