IST Logo Small

Dr. Benjamin Werner

e-mail: Benjamin dot Werner at inria dot fr

Home Page:

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:31 CET 2007.
IST Logo Small