3 <!DOCTYPE person SYSTEM "../person.dtd">
7 <surname>Gimenez</surname>
8 <qualification>Dr.</qualification>
9 <!-- <e-mail>Eduardo.Gimenez@trusted-logic.fr</e-mail> -->
10 <e-mail>mowgli@trusted-logic.fr</e-mail>
11 <url>http://pauillac.inria.fr/~gimenez/</url>
12 <address>5, rue du Bailliage 78000 Versailles FRANCE</address>
13 <telephone>+33 - 1 30 97 25 13</telephone>
14 <fax>+33 - 1 30 97 25 19</fax>
16 <p>The keywords of my work are : formal methods, program specification and
17 program certification, type theory, proof environments, Java cards,
18 information security.</p>
19 <p>My work concerns the application of type theory as a programming logic for
20 developping certified programs. I am specially interested in verifying
21 security properties concerning open embedded systems like Java smart