About

Research axes

• Equational theories for quantum circuits (soundness / completeness)
• Qudit systems and circuit optimization
• Formal methods for quantum computing

What I’m currently working on

I’m interested in building tools and proofs that make quantum programs easier to reason about and easier to optimize.

Academic background

I am currently a PhD candidate in quantum computing at Inria, within the MOCQUA team, where I work on equational theories for quantum circuits, with a particular focus on qudit systems, completeness results, and circuit optimization.

Before starting my PhD, I completed several research internships in quantum computing and formal methods:

• M2 research internship (2024) at Inria (MOCQUA), focused on the completeness of equational theories for qudit quantum circuits.
• M1 research internship (2023) at Inria (QuaCS), on the completeness of fragments of the ZX-Calculus enriched with a partial transpose operator.
• L3 research internship (2022) at LMF – Laboratoire Méthodes Formelles, on typed quantum circuit compilation and pattern-matching techniques for the ZX-Calculus.

I hold a Master Parisien de Recherche en Informatique (MPRI) from ENS Paris-Saclay, and a Magistère in Computer Science from Université Paris-Saclay. My academic training combines theoretical computer science, formal methods, and quantum computing.