IST Logo Small

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.
IST Logo Small