helm/mowgli/home/xml/people/trusted-logic/gimenez.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE person SYSTEM "../person.dtd">
   4
   5 <person>
   6  <name>Eduardo</name>
   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>
  15  <research-interests>
  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
  22      cards.</p>
  23  </research-interests>
  24 </person>