+++ /dev/null
-<?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>