Former positions
- I was associate professor (Maître de Conférence Hors Classe) at the University of Strasbourg.
- I was member of the ICube lab.
Research interests
- interactive theorem proving, 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
Current and former students
- Frederic Tran Minh, Phd, 2023-.
- Jonathan Graff, Master 2, 2021.
- Salwa Tabet Gonzalez, Master 1, 2021 paper, Master 2, 2023 paper.
- Pierre Boutry, Doctor, 2018.
- Charly Gries, Master 1, 2017, Master 2, 2018. paper1 paper2 paper3
- David Braun, 2014, Master Project, paper
- Javier Corti, 2013
- Jean David Genevaux, Master 2, 2011. paper
- Jeremy Koenig, Master 2, 2012.
- Bruno Cuervo Parrino, 2011 paper
Postdocs supervised
- Iro Bartzia, 2024 (Lecturer Université Paris Cité since sept 2024)
- Pierre Boutry, 2024 (Lecturer University of Strasbourg since sept 2024)
