CV

Researcher and Software Developer

Quantinuum

• Developed and maintained research software including DisCoPy, lambeq, Cryptomite, and optyx.
• Built tools for diagrammatic reasoning, quantum natural language processing, randomness extraction, and optical-circuit compilation.
• Created ZXW calculus and proved its completeness.
• Applied reinforcement learning and graph neural networks to stabiliser decompositions for quantum circuit simulation.

Software Engineering Intern

GSA Capital

• Developed an automated hedging system.
• Designed randomised algorithms for NP-hard optimisation problems.
• Backtested a hedging strategy and analysed its effect on profit and loss.

Software Engineering Intern

Bloomberg LP

• Developed a Go backend for HashiCorp Vault.
• Built an RPC plugin system for Vault storage backends.
• Implemented a Comdb2 plugin with leadership election support for high availability.

Doctor of Philosophy

University of Oxford, Wolfson College

Computer Science

• Supervised by Professor Bob Coecke and Professor Aleks Kissinger.
• Research focuses on ZX calculus, machine learning, and quantum circuit optimisation.
• Proved optimal compilation results for parametrised quantum circuits.
• Built fast Rust tooling for AlphaZero-style search in constrained Clifford tableau synthesis.
• Developed Rust-based synthesis tools for Trotterised Hamiltonians.
• Studied distance-preserving rewrites and path-cover methods for logical state synthesis in CSS codes.

Master of Science, Distinction

University of Oxford, St Cross College

Computer Science

• Dissertation: Diagrammatic Design and Study of Ansatze for Quantum Machine Learning.
• Supervisor: Stefano Gogioso.
• Achieved 100% in the Quantum Computing exam.

Bachelor of Arts, First Class

University of Cambridge, Trinity College

Computer Science and Technology

• Dissertation: Hard Examples for the Graph Isomorphism Problem.
• Supervisor: Anuj Dawar.