Dr. Benjamin Werner
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.