Welcome to my research page.

I’m a post-doc at Inria Nancy in the MOCQUA team, working with Simon Perdrix.

Before that, I was doing a post-doc at Dipartimento di Informatica at the University of Bologna, Italy, under the supervision of Ugo Dal Lago.

I did my PhD at Univ. Paris Saclay and Univ. Paris Cité under the supervision of Pablo Arrighi and Benoît Valiron and Alexis Saurin.
I defended my PhD on the 9 of January 2023, you can find my manuscrit here and the slides of my defense here

News:

• Our paper Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction with U. Dal Lago, N. Hoshino, P. Pistone has been accepted for a talk at ICTCS 2026.
• Our paper Approximation theory for distant Bang calculus with J. Chouquet, A. Kerinec has been published at FSCD 2026
• Our paper Resource-Aware Quantum Programming with General Recursion and Quantum Control with E. Hainry, R. Péchoux, T. Vinet has been published at FSCD 2026

Research Interest

The main topic of my research is the relation between Linear Logic (and Proof Theory in general) and Quantum Computing.

My (non-exhaustive & somewhat sorted) list of topics I’m interested in:

• Quantum Programming Languages
• Quantum Compilation
• Semantics of Programming Languages
• String Diagrams for Quantum Computing
• Evaluation Strategies of $\lambda$-calculus
• Dependent Type Theory and Intersection Types
• Proof Assistants (in particular Rocq)