This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / mowgli / home / xml / people / trusted-logic / gimenez.xml

diff --git a/helm/mowgli/home/xml/people/trusted-logic/gimenez.xml b/helm/mowgli/home/xml/people/trusted-logic/gimenez.xml
deleted file mode 100644 (file)
index 70113c7..0000000
--- a/helm/mowgli/home/xml/people/trusted-logic/gimenez.xml
+++ /dev/null
@@ -1,24 +0,0 @@
-<?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>