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).

page en français
version française


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

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

Some other stuff for a (slightly) wider audience.

A short CV.
up up


Cours 2-7-1, MPRI 2012-2013

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

Teaching material

PhD students

How to reach me

This page:

Main  address: 

The wall

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