Researcher at Inria, professor at ENS Paris-Saclay and member of CNNum. He works on the formalization of mathematics, the processing of demonstrations, the physics of computing, aeronautical safety and teaching, epistemology and ethics of computer science.