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.
This year :
Course INF371 (Undergrad, Programming principles)
Course 2-7-1, MPRI 2021-22
Previous years :
INF431 (Undergrad, L3, Algorithmique et Programmation)