Co-developed the open-source quantum compiler PyZX
Published multiple papers on ZX-calculus, quantum circuit optimization, and quantum foundations, including:
— 'Optimal compilation of parametrised quantum circuits' (Quantum, 2025)
— 'A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits' (QPL 2025)
Background
Assistant Professor at the Theoretical Computer Science group, Informatics Institute, University of Amsterdam
Collaborates with the QuSoft research center
Research focuses on two areas: (1) diagrammatic techniques in quantum computation, especially using the ZX-calculus for quantum circuit optimization, classical simulation, and verification; (2) quantum foundations using algebraic and compositional methods to understand why nature follows quantum mechanics
Co-authored the book 'Picturing Quantum Software' with Aleks Kissinger, available as a free preprint, covering quantum compilation and the ZX-calculus
Co-creator of the open-source optimizing quantum compiler PyZX