BW

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


Frege


Research

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


Teaching

dusty

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: http://benjamin.werner.name

email:

  • 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)
coq_pic




The wall



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