Dr. Benjamin Werner

Permanent researcher at INRIA.
Teaching a graduate course at Université Paris 7 and undergraduate course at ENSTA.

e-mail: Benjamin dot Werner at inria dot fr

Home Page: http://logical.inria.fr/~werner/

Short Curriculum Vitae:

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.

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:23 CET 2007.