Home

Welcome to my webpage!

I'm a team lead at Huawei Technologies France in Paris.

Some of my tech interests:

• agentic AI & orchestration

• AI and ML for reasoning and theorem proving 

• explainable and trustworthy AI, through the lens of formal verification

• computerisation of mathematics and computer-assisted proofs (mainly in Lean 4 these days)

• metaprogramming in Lean 4

• type theory and programming languages

• AI-powered tools 

• structured AI 

• blockchain & smart contracts

• quantum computing and information