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

Please consider registering to the first edition of the QCOMICAL School on Quantum and Classical Programming Languages and Semantics here

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) lists of topics I’m interested in:

• Correctness Criterion for Proof Nets
• Quantum Control Flow
• Semantic of programming languages
• String Diagrams for Quantum Computing
• Classical and quantum extension of lambda-calculus
• Evaluation strategies of lambda-calculus
• Dependent type theory and Intersection Types
• Transcendental Syntax
• Proof Assistant (in particular Rocq)