Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
talks
The Viola Jones Algorithm
Published:
Researched and made a 30‑min comprehensive talk on the Viola Jones algorithm. Distinguished Talk Award. Link here.
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.
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 (WIP)
Research Internship Project, 2024, with Gilles Barthe.
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.