New MOWGLI member.

diff --git a/helm/mowgli/home/xml/people/trusted-logic/gimenez.xml b/helm/mowgli/home/xml/people/trusted-logic/gimenez.xml
new file mode 100644 (file)
index 0000000..70113c7
--- /dev/null
+++ b/helm/mowgli/home/xml/people/trusted-logic/gimenez.xml
@@ -0,0 +1,24 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Eduardo</name>
+ <surname>Gimenez</surname>
+ <qualification>Dr.</qualification>
+ <!-- <e-mail>Eduardo.Gimenez@trusted-logic.fr</e-mail> -->
+ <e-mail>mowgli@trusted-logic.fr</e-mail>
+ <url>http://pauillac.inria.fr/~gimenez/</url>
+ <address>5, rue du Bailliage 78000 Versailles FRANCE</address>
+ <telephone>+33 - 1 30 97 25 13</telephone>
+ <fax>+33 - 1 30 97 25 19</fax>
+ <research-interests>
+  <p>The keywords of my work are : formal methods, program specification and
+     program certification, type theory, proof environments, Java cards,
+     information security.</p>
+  <p>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.</p>
+ </research-interests>
+</person>