X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Ftrusted-logic%2Fgimenez.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Ftrusted-logic%2Fgimenez.xml;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=70113c773729055115a9d3bc3dc7ff4e3ec73ab6;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

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