Me

Current position

IGG LSIIT UDS INRIA-CAMUS INRIA
  • I am a lecturer (Maître de Conférence) at the University of Strasbourg.
  • I am a member of the IGG Team  which is part of the LSIIT lab.
  • I am a member of the INRIA Camus team

Research interests

  • formal proofs
  • formalization of geometry
  • automation of geometric reasoning
  • diagrammatic proofs
I participated in the Galapagos project.