Current position
Past positions
- I was Phd student in the Logical team (INRIA Futurs, École Polytechnique, LIX).
- I was a postdoc in the Theorem Proving Group and Nominal Group at TU Munich.
Upcoming events
- ADG 2010 will be held in Munich. Deadline: 22/02/2010.
News
-
(10/2009) A Case Study in Formalizing Projective Geometry in Coq: Desargues Theorem
with Nicolas Magaud and Pascal Schreck submitted to a journal
(.pdf).
-
(10/2009)
The Area Method : a Recapitulation with Predrag Janicic and Pedro Quaresma submitted to a journal (.pdf|formal proofs).
Research interests
- formal proofs
- nominal logic / reasoning with binders
- formalization of geometry
- automation of geometric reasoning
- diagrammatic proofs
