Welcome to my personal webpage.

I’m a postdoc at Inria Nancy in the MOCQUA team, working with Simon Perdrix, Romain Péchoux and Emmanuel Hainry.

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

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

My work focuses on the interaction between linear logic and quantum computation, mainly through the use of the Curry-Howard-Lambek correspondence, the $\lambda$-calculus and string diagrams.

Aside from research, I like TTRPG, rock climbing, biking, cooking and hedgehogs. If you are visiting the lab, you might stumble onto some cookies.

News:

• I am part of the PC of Reversible Computation 2027.
• Along with Delia Kesner we are organizing the workshop TBA!
• 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 and 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)