معرفی
Julien Narboux is an Associate Professor (Maître de Conférence Hors Classe) at UFR Informatique, University Paris Cité, and a member of the PPS pole at the IRIF laboratory. He previously held the same position at the University of Strasbourg, affiliated with the ICube lab. His research focuses on interactive theorem proving, formalization of geometry, automated reasoning, and the use of proof assistants in education.
Education: He earned his PhD in 2006 from Université Paris Sud-Paris XI, titled 'Formalisation et automatisation du raisonnement géométrique en Coq.'
Research Interests: His work spans formal methods in geometry, development of proof assistants like Coq, and integrating these tools into education. Key areas include automated deduction in geometry, synthetic geometry formalization, and pedagogical applications of proof assistants.
Recent Contributions: Recent work includes automated generation of illustrated proofs, constraint-solving approaches for theorem proving, and leveraging machine learning for geometry statement parsing. He actively contributes to projects like GeoCoq, formalizing high-school geometry problems.
Grants & Projects: Leads the ANR APPAM project on proof assistants for mathematics education. Organized events include the 2023 ADG conference and ThEdu workshops.
Advising: Supervised PhD students (e.g., Pierre Boutry) and master’s students in geometry formalization and related areas. Notable advisees include Frédéric Tran Minh and Salwa Tabet Gonzalez.
Labs & Teams: Active in the IRIF lab and PPS team at University Paris Cité, collaborating on projects bridging formal methods and education.
