Current position
- I am a lecturer (Maître de Conférence) at the University of Strasbourg.
- I am a member of the IGG Team which is part of the LSIIT lab.
- I am a member of the INRIA Camus team
Research interests
- formal proofs
- formalization of geometry
- automation of geometric reasoning
- diagrammatic proofs
I participated in the
Galapagos project.