Me

Current position

IGG UDS INRIA-CAMUS INRIA
  • 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.
  • I am an associated member of the INRIA Camus team

Research interests

  • formal proofs
  • formalization and foundations of geometry
  • automated reasoning (in particular in geometry)
  • certified compilation
I participated in the Galapagos project.

Next 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