I am a member of the Prosecco team at Inria Paris. I work with Cătălin Hriţcu in the themes of the ERC SECOMP project.

During my doctoral studies, I was a member of the Parsifal team at Inria Saclay - Île de France. I was advised by Dale Miller working in the ERC Advanced Grant ProofCert.

My research and technical interests revolve around various interrelated topics:

The grand unifying theme, and pragmatic motivation, is an ambition that I am convinced is both lofty and realistic: this is the need for trust and correctness — in theorems as in the entire pantheon of formalizable artifacts, with software as primus inter pares in today’s world — and a discipline that treats these as first-class abstractions.