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
Future events and ongoing projects
- ThEdu 2024, Nancy.
- Proof assistant for teaching, summer school, 2025.
- ANR Project APPAM
Current and former students
- Frederic Tran Minh, Phd, 2023-.
- Jonathan Graff, Master 2, 2021.
- Salwa Tabet Gonzalez, Master 1, 2021, Master 2, 2023.
- Pierre Boutry, Doctor, 2018.
- Charly Gries, Master 2, 2018.
- Jeremy Koenig, Master 2, 2012.
- Jean David Genevaux, Master 2, 2011.
