Pierre Boutry

Postdoctoral researcher at Inria, Pierre Boutry is interested in the foundations of geometry and their formalization within the Coq system using the Mathematical Components library. He obtained a PhD at the University of Strasbourg in 2018 on ways to axiomatize Euclidean geometry, statements of the parallel postulates and the possibilities of automating geometric reasoning. He has notably contributed to the discovery of a new proof of the independence of the parallel postulate.