I am currently a PhD student at INRIA Sophia Antipolis - Méditerranée, in the MARELLE team. I am working under the supervision of Yves Bertot and Cyril Cohen. My task is to formalize notions in functional analysis in the Coq proof assistant in order to formally verify motion planning and control algorithms in robotics.

I am a former civil servant student of the computer science department of the École Normale Supérieure de Lyon. For an overview of my education, have a look at my C.V. (in english or in french).

Research Interests

My interests span all aspects of reasoning, especially with applications in mathematics and software verification. These include both theoretical and practical aspects of logic, foundations of mathematics, computer-aided reasoning, semantics…