Publications
A curated list of my academic work. You can filter the list by research topic.
View full profile on Google Scholar →
SpiderCat: Optimal Fault-Tolerant Cat State Preparation
arXiv preprint arXiv:2603.05391 (2026)
We derive formal bounds on resources to fault-tolerantly prepare CAT states (a.k.a GHZ states), and provide actual constructions that match this bound for any practically interesting size and beyond.
A dataflow programming framework for linear optical distributed quantum computing
Also known as: "Fusion and Flow: Formal Protocols to Reliably Build Photonic Graph States (arXiv:2409.13541)"
Quantum Vol. 10, p. 1972 (2026)
This paper develops a unified formal language for fusion-based photonic quantum computing by combining linear optics, ZX-calculus, and dataflow programming to verify and design reliable protocols for building resource states.
Optyx: A ZX-based Python library for networked quantum architectures
arXiv preprint arXiv:2512.09648 (2025)
We introduce Optyx, an open-source Python framework offering a unified language to program, simulate, and prototype hybrid, networked quantum systems.
Ultra Low Overhead Syndrome Extraction for the Steane code
arXiv preprint arXiv:2511.13700 (2025)
We apply our Fault Tolerance by Construction framework to optimise the syndrome extraction circuit of the Steane code, which, together with code level observations, results the new state-of-the-art protocol.
Beyond Penrose tensor diagrams with the ZX calculus: Applications to quantum computing, quantum machine learning, condensed matter physics, and quantum gravity
arXiv preprint arXiv:2511.06012 (2025)
We introduce the Spin-ZX calculus as an elevation of Penrose's diagrams and associated binor calculus. This language enables us diagrammatically reason about for the quantum theory of angular momentum or SU(2) representation theory.
Fault Tolerance by Construction
arXiv preprint arXiv:2506.17181 (2025)
We propose a framework for designing fault-tolerant quantum circuits that are correct by construction, using a modified ZX-calculus to reason about a circuit's behavior under noise and preserve its error-correcting properties.
Floquetifying Stabiliser Codes with Distance-Preserving Rewrites
arXiv preprint arXiv:2410.17240 (2024)
We introduce a procedure based on distance-preserving ZX-calculus rewrites to transform any stabiliser code into a Floquet code that uses only two-qubit operations, provably preserving the original code's distance.
ZX-calculus Is Complete for Finite-Dimensional Hilbert Spaces
Proceedings of the 22nd International Conference on Quantum Physics and Logic (QPL 2025) (2025)
This paper establishes the completeness of the ZX-calculus for all finite-dimensional quantum systems (qudits), proving that any equation derivable in standard quantum theory can also be derived through graphical rewrites.
Piquasso: A Photonic Quantum Computer Simulation Software Platform
Quantum, Vol. 9, p. 1708 (2025)
A software platform for simulating photonic quantum computers, offering a suite of tools for researchers to design and test photonic circuits and algorithms.
DisCoPy: The Hierarchy of Graphical Languages in Python
arXiv preprint arXiv:2311.10608 (2023)
This report provides an overview of DisCoPy v1.0, a Python toolkit for computing with monoidal categories, showcasing its flexible data structures for string diagrams and its ability to translate them into numerical code.
Completeness of Qufinite ZXW Calculus, a Graphical Language for Finite-Dimensional Quantum Theory
arXiv preprint arXiv:2309.13014 (2024)
We introduce the qufinite ZXW calculus and prove its completeness for all finite-dimensional Hilbert spaces, providing the first universal and complete graphical language for general quantum theory.
Light-Matter Interaction in the ZXW Calculus
Proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023) (2023)
We develop the infinite ZW calculus, a graphical language for linear operators on the bosonic Fock space, to model and reason about linear and non-linear photonic circuits involving light-matter interactions.
Completeness for Arbitrary Finite Dimensions of ZXW-calculus, a Unifying Calculus
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2023)
We generalise the qubit ZXW-calculus to arbitrary finite dimensions (qudits) and prove that this graphical rewrite system is complete, marking the first such result for a universal graphical language beyond qubits.
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
Proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023) (2023)
We present a simplified rule set for the odd prime-dimensional qudit (qupit) stabiliser ZX-calculus, enabling efficient reduction of diagrams to normal forms and a new layered decomposition for qupit Clifford unitaries.
A Unique Normal Form for Prime-Dimensional Qudit Clifford ZX-calculus
MSc Thesis, University of Oxford (2022)
My MSc thesis, supervised by John van de Wetering and Aleks Kissinger, which establishes a unique normal form for the qudit Clifford ZX-calculus and forms the basis for some of my later work on qudit stabiliser calculus.
Transformations towards Clean Functional Code
19th ACM SIGPLAN International Workshop on Erlang (2020)
We present methods to refactor imperatively styled Erlang source-code into a more functional style by transforming unnecessary calls into pattern matching or by lifting nested expressions, improving readability and performance.