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