Benjamin Werner's page

Benjamin Werner's home page

I am a senior researcher at INRIA, currently on leave at Ecole Polytechnique. As such:

I am head of the Informatics Department of Polytechnique; which means I am the main person in charge for teaching of Computer Science.
Until december, I am leading the Typical team, located at the LIX laboratory of the (directions).

I am also member of the mathematical components team of the INRIA/Microsoft Research joint centre (directions).

version française

Frege's Begriffsschrift

My research interests lie in the formalization of mathematical reasoning and its mechanical verification through proof systems, especially Coq. I am particularly interested by proofs involving computations and evolutions of type theory making this easier.

Publications and papers

A video lecture (in french) about formal proofs which involve computations

Some other stuff for a (slightly) wider audience.

A short CV.

Teaching

Cours 2-7-1, MPRI 2012-2013

2011-2012 INF431 (Undergrad, L3, Algorithmique et Programmation)

Older Teaching material

PhD students

Bruno Barras (defended 1999)
David Delahaye (defended 2001)
Benjamin Grégoire (co-advised with Xavier Leroy; defended 2003)
Roland Zumkeller (defended 2008)
Arnaud Spiwack (co-advised with Thierry Coquand, defended 2011)
François Garillot (main adviser: Georges Gonthier, defended 2011)
Chantal Keller
Victor Magron (co-advised with Stéphane Gaubert)

How to reach me

This page: http://benjamin.werner.name

email:

Main address:

LIX, Ecole Polytechnique, F-91128 PALAISEAU cedex, France
phone: + 33 1 69 33 41 41 (polytechnique)
going to Polytechnique
going to the INRIA/MSR joint centre


	Picture shot in younger days and used in the movie From the Sky Down