Current position
Upcoming events
- ADG 2010 will be held in Munich. Deadline: 22/02/2010.
News
-
(06/2010)
The Area Method : a Recapitulation with Predrag Janicic and Pedro Quaresma revised version to appear in the Journal of Automated Reasoning (.pdf|formal proofs).
Research interests
- formal proofs
- formalization of geometry
- automation of geometric reasoning
- diagrammatic proofs





