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.
- Mastodon account
Research interests
- formal proofs
- formalization of foundations of geometry and applications
- automated reasoning (in particular in geometry)
- using proof assistants for teaching
Past 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
- Jonathan Graff, Master 2, 2021.
- Salwa Tabet Gonzalez, Master 1, 2021.
- Pierre Boutry, Doctor, 2018.
- Charly Gries, Master 2, 2018.
- Jeremy Koenig, Master 2, 2012.
- Jean David Genevaux, Master 2, 2011.
