Current position
- I am a associate professor (Maître de Conférence) at the University of Strasbourg.
- I am a member of the IGG Team which is part of the ICube lab.
- I am an associated member of the INRIA Camus team
Research interests
- formal proofs
- formalization of foundations of geometry and applications
- automated reasoning (in particular in geometry)
- certified compilation
I participated in the
Galapagos project.
Events
- The 11th International Workshop on Automated Deduction in Geometry ADG 2016 in Strasbourg, France
- The 8th Coq Workshop Coq 2016, in Nancy, France
Current and former students
