Algebraic, Operational and Denotational Semantics for Classically Controlled Quantum Communication
PLanQC 2025, 2025, with Sam Staton.
Work presented at PLanQC 2025 based on MSc thesis at Oxford.
Works
You can also find my articles on my Google Scholar profile.
Main Projects
Completeness for Quantum Relational Hoare Logics
LICS 2025, Research Internship Project, 2024, with Gilles Barthe, Minbo Gao, Li Zhou.
Research internship project at MPI-SP with Gilles Barthe.
Algebraic Theories and Quantum Communication
Master's Thesis, University of Oxford, 2024, with Sam Staton.
Thesis for my MSc in Advanced Computer Science at Oxford supervised by Sam Staton. This thesis gives an algebraic formulation to classically controlled quantum communication.
Exploring the limitations of Contextual Modal Type Theory for Multi-Stage Programming
POPL SRC, 2024, with Jeremy Yallop, Alan Mycroft.
POPL SRC 2024 Submission based on my BA thesis.
Verifying Variances for Probabilistic Programs (Negative Results)
Research Internship Project, 2023, with Gilles Barthe.
Research internship project at MPI-SP with Gilles Barthe.
Type Safe Multi-Stage Programming with Lys
Bachelor Thesis, University of Cambridge, 2023, with Jeremy Yallop, Alan Mycroft.
Thesis for my BA in Computer Science in Cambridge supervised by Jeremy Yallop and Alan Mycroft. We design and implement Lys, a multi-stage programming (MSP) language based on contextual modal type theory, and explore its expressivity in comparison to other MSP paradigms such as MetaOCaml.
Side Projects
Reverse engineering the Acronym task in GPT-2 small (WIP)
AISF Project, 2024.
AISF project, based on one of Neel Nanda’s 200 open problems in Mechanistic Interpretability.
OpenQuery, an LLM-powered tool for Freedom Of Information request processing
Law & Computer Science Project, 2024, with Daniel Leung, Christian Hagemeier, Isabel Ecker, Afra Nawar, Benedikt Freese, Akash Agrawal, Rodrigo La Rosa.
Law and Computer Science course project.