معرفی
Pierre Boutry is an Associate Professor at the Department of Mathematics and Computer Science of the University of Strasbourg. He is affiliated with the IGG team of the ICube Laboratory. His academic positions include prior roles as a research engineer at Inria and the University of Strasbourg.
Education:
- Ph.D. in Mathematics and Computer Science, University of Strasbourg (2018)
- M.Sc. in Engineering Mathematics and Computational Science, Chalmers University of Technology (2013)
- Engineering degree (M.Sc. equivalent), ENSIIE, Strasbourg (2009)
Research interests focus on the formalization and foundations of geometry using proof assistants like Coq and Isabelle, cryptography, and automated deduction methods. His work includes contributions to the CV2EC tool for translating cryptographic proofs and formalizing the Poincaré Disc Model for hyperbolic geometry.
Key publications include studies on Tarski's axioms, equivalence of parallel postulates, and arithmetization of geometry. He has collaborated with researchers such as Gabriel Braun, Pascal Schreck, and Julien Narboux.
Teaching roles span courses on computer-assisted proofs, functional programming, logic, and cryptography. He also co-developed Coq training modules for Inria Academy.
