The Viola Jones Algorithm
Published:
Researched and made a 30‑min comprehensive talk on the Viola Jones algorithm. Distinguished Talk Award. Link here.
Posts by Collection
talks
Algebraic Theories for Quantum Communication
Published:
Seminar for master’s students in the quantum group to present thesis project progress.
teaching
Semantics of Programming Languages Supervisions, Michaelmas 2023
Supervision, Magdalene and Murray Edwards Colleges, Cambridge, 2023
Supervisions for Magdalene and Murray Edwards Colleges in Michaelmas 2023.
Semantics of Programming Languages Supervisions, Michaelmas 2024
Supervision, Churchill College, Cambridge, 2024
Supervisions for Churchill College in Michaelmas 2024.
Semantics of Programming Languages Supervisions, Lent 2026
Supervision, Churchill, Homerton Colleges and Hughes Hall, Cambridge, 2026
Supervisions for Churchill, Homerton Colleges and Hughes Hall, Lent 2026.
works
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.
Verifying Variances for Probabilistic Programs (Negative Results)
Research Internship Project, 2023, with Gilles Barthe.
Research internship project at MPI-SP with Gilles Barthe.
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.
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.
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.
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.
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.
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
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