Research Activity
Organization
- 1st QCOMICAL School on Quantum and Classical Programming Languages and Semantics, 2025.
- Quantum Physics and Logic 2020.
Books
- Ecole Jeunes Chercheureuses en Informatique Fondamentale et ses Mathématiques, édition 2025 (EJCIFM2025). Chapitre “Informatique Quantique et ZX”. Co-rédigé avec Miriam Backens.
Subreviewer
- ACM Transactions on Programming Languages and Systems (TOPLAS).
- Computer Science and Logic 2025.
- Lgic In Computer Science 2024 (LICS).
- Quantum Physics and Logic 2023
- Conference on Algebra and Coalgebra in Computer Science 2023 (CALCO).
- Conference on Machines, Computations and Universality 2022 (MCU).
- International Symposium on Mathematical Foundations of Computer Science 2022 (MFCS).
- Quantum Physics and Logic 2022.
- Quantum Physics and Logic 2020.