* New data

[helm.git] / helm / mowgli / home / xml / people / inria / werner.xml

diff --git a/helm/mowgli/home/xml/people/inria/werner.xml b/helm/mowgli/home/xml/people/inria/werner.xml
new file mode 100644 (file)
index 0000000..746624e
--- /dev/null
+++ b/helm/mowgli/home/xml/people/inria/werner.xml
@@ -0,0 +1,20 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Benjamin</name>
+ <surname>Werner</surname>
+ <qualification>Dr.</qualification>
+ <position>Permanent researcher at INRIA.</position>
+ <position>Teaching a graduate course at Université Paris 7 and
+  undergraduate course at ENSTA.</position>
+ <e-mail>Benjamin.Werner@inria.fr</e-mail>
+ <url>http://logical.inria.fr/~werner/</url>
+ <curriculum>
+  <p>Benjamin Werner was born in 1966. He graduated from Ecole Polytechnique
+     in 1989 and was awarded a PhD in computer science form université
+     Paris 7 in 1994. He is since a researcher at INRIA-Rocquencourt,
+     working on logical formalisms, type theory and the proof system Coq.</p>
+ </curriculum>
+</person>