Pierre Boutry

Chercheur postdoctoral chez Inria, Pierre Boutry s'intéresse aux fondements de la géométrie et à leur formalisation au sein du système Coq à l’aide de la librairie Mathematical Components. Il a obtenu un doctorat à l'université de Strasbourg en 2018 sur les façons d’axiomatiser la géométrie euclidienne, les énoncés du postulat des parallèles ainsi que les possibilités d'automatiser le raisonnement géométrique. Il a notamment contribué à la découverte d'une nouvelle preuve d'indépendance du postulat des parallèles.