MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces

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