Home

Welcome to my webpage!

I'm a permanent researcher at Huawei's Lagrange Centre in Paris.

Some of my scientific/tech interests:

• computerisation of mathematics and computer-assisted proofs

• AI and ML for reasoning and theorem proving 

• explainable and trustworthy AI

• Grothendieck topos 

• type theory and programming languages

• Homotopy Type Theory/Univalent Foundations

• interoperability between formal proof systems

• quantum computing and information

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

• mathematical study of type theories