1 <?xml version="1.0" encoding="iso-8859-1"?>
3 <!DOCTYPE person SYSTEM "../person.dtd">
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>
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>