Julien Narboux

Current position

INRIA-CAMUS

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

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

I am participating in the Galapagos project.