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 2012, I was leading the Typical team, located at the LIX laboratory.
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.



This year :

Course INF371 (Undergrad, Programming principles)

Course 2-7-1, MPRI 2021-22
Previous years :

INF431 (Undergrad, L3, Algorithmique et Programmation)

PhD students

How to reach me

This page:


  • Main  address:  LIX, Ecole Polytechnique, F-91128 PALAISEAU cedex, France
  • phone: + 33 1 77 57 80 41
  • My Office is 2016 in bâtiment Turing (directions)

The wall

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