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

Past Events

  • The 11th International Workshop on Automated Deduction in Geometry ADG 2016 in Strasbourg, France
  • The 8th Coq Workshop Coq 2016, in Nancy, France

Current and former students