Research Interests
Quantum Computation
Category Theory
Essays
Papers
2-Category of Topological Quantum Computation
+
arXiv preprint · 2025
This paper develops a 2-categorical framework for topological quantum computation.
The ZX-Calculus as a Language for Topological Quantum Computation
+
Topological Quantum Computation Through the Lens of Categorical Quantum Mechanics
+
arXiv e-prints · 2022
Bicategorical Aspects of Topological Quantum Computation
+
DPhil Thesis, University of Oxford · 2022
This thesis studies and proposes bicategorical structures for topological quantum computation.
Monoidal 2-Categories: A Review
+
arXiv preprint · 2020
A self-contained review of monoidal 2-categories, collecting and clarifying definitions, coherence conditions, and axioms.
Typing Tensor Calculus in 2-Categories
+
arXiv preprint · 2019
This paper develops a typed tensor calculus within the framework of 2-categories.
Academic Service
Reviewer — [Journal / Conference Name]
[Brief note, e.g. regular reviewer since 2022]
Programme Committee — [Conference Name]
[Brief note on your role]
Organiser — [Workshop / Seminar Name]
[Brief description of the event and your role]