Talks & Presentations
A selection of my oral and poster presentations.
Oral Presentations
Jan. 2026
Ultra Low Overhead Syndrome Extraction for the Steane code
QuLunch, QuSoft, University of Amsterdam
Oct. 2025
Ultra Low Overhead Syndrome Extraction for the Steane code
Quantum Lunch, University of Oxford
Jul. 2025
ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces
22nd International Conference on Quantum Physics and Logic (QPL 2025)
Jan. 2025
Nov. 2024
Fusion and flow: Formal protocols to reliably build photonic graph states
Quantum Lunch, University of Oxford
Apr. 2024
ZX calculus as a graphical rewriting language for quantum computing
13th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2024)
Oct. 2023
Jul. 2023
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
20th International Conference on Quantum Physics and Logic (QPL 2023)
Jun. 2023
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023)
Apr. 2023
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
11th Symposium on Compositional Structures (SYCO 11)
Jan. 2023
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
The ZX Seminar
Aug. 2020
Transformations towards clean functional code
19th ACM SIGPLAN International Workshop on Erlang
Poster Presentations
Jun. 2023
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023)
Feb. 2023
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
26th Conference on Quantum Information Processing (QIP 2023)