Benjamin Werner's home pageI am a senior researcher at INRIA,
currently on leave at Ecole
Polytechnique. As such:
|
|
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 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) PhD students
|
|
|
Picture shot in younger days and used in the movie From the Sky Down |