Me

Current position

IGG UDS

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

Past Organized Events

Current and former students