Works

You can also find my articles on my Google Scholar profile.

Main Projects

Typed Abstractions for Causal Probabilistic Programming

LAFI 2026, 2026, with Dario Stein, Eli Bingham, John Feser, Ohad Kammar, Michael Lee, Jeremy Yallop.

Work presented at LAFI 2026 based on my work at Cambridge & Edinburgh.

[PDF]Extended Abstract at LAFI | [PDF]Poster at LAFI | [PDF]Slides at LAFI | Link to Talk

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.

[PDF]Extended Abstract at PLanQC | [PDF]Slides at PLanQC | Link to Talk

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.

[Link]Preprint

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.

[PDF]Thesis

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.

[PDF]Extended Abstract | [PDF]Poster

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.

[PDF]Thesis