From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Mar 2002 15:00:03 +0000 (+0000)
Subject: New MOWGLI member.
X-Git-Tag: V_0_3_0_debian_8~200
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=77152883aff5a48fcef70fe0186733a7d7c98ccd;p=helm.git

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
index 000000000..70113c773
--- /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>