Home

Welcome to my webpage!

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

Some of my tech interests:

• agentic programming & orchestration

• program verification

• formal proof engineering

• AI and ML for reasoning and theorem proving 

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

• type theory and programming languages

• AI-powered tools 

• blockchain & smart contracts

• quantum computing and information