Benjamin Werner's home page
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.
Running courses :
Cours 2-7-1, MPRI 2014-2015
MOOC Conception et mise en œuvre d'algorithmes - on Coursera, october 27th
Previous years :
INF431 (Undergrad, L3, Algorithmique et Programmation)