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