Home

Welcome to my academic webpage!

I'm currently a  researcher at INRIA Paris-Saclay. You can read an analytic presentation of my work "Proofs and AI: A Data-Centric View" here.

Some interests:

• computerisation of mathematics and computer-assisted proofs

• interoperability between formal proof systems

• AI and ML for reasoning and theorem proving 

• explainable and trustworthy AI

• type theory and programming languages

• Homotopy Type Theory/Univalent Foundations

• quantum computing and information

• (higher) category theory and (abstract) homotopy theory

• mathematical study of type theories