helm/mowgli/home/xml/people/inria/werner.xml

   1 <?xml version="1.0" encoding="iso-8859-1"?>
   2
   3 <!DOCTYPE person SYSTEM "../person.dtd">
   4
   5 <person>
   6  <name>Benjamin</name>
   7  <surname>Werner</surname>
   8  <qualification>Dr.</qualification>
   9  <position>Permanent researcher at INRIA.</position>
  10  <position>Teaching a graduate course at Université Paris 7 and
  11   undergraduate course at ENSTA.</position>
  12  <e-mail>Benjamin.Werner@inria.fr</e-mail>
  13  <url>http://logical.inria.fr/~werner/</url>
  14  <curriculum>
  15   <p>Benjamin Werner was born in 1966. He graduated from Ecole Polytechnique
  16      in 1989 and was awarded a PhD in computer science form université
  17      Paris 7 in 1994. He is since a researcher at INRIA-Rocquencourt,
  18      working on logical formalisms, type theory and the proof system Coq.</p>
  19  </curriculum>
  20 </person>