I work on programming language design, with a focus on principled, minimal solutions.
My current interests involve type-safe, hygienic metaprogramming, effect handlers, and algebraic methods like Frex.
I studied computer science at Cambridge as an undergraduate and master’s student. I’m an active member of the Modular Macros project, led by Jeremy Yallop, and continue to supervise undergraduates. I also work on vision systems at VBR Robotics in London.
POPL 2027, conditionally accepted
POPL 2026, Proc. ACM Program. Lang. 10, Article 39
Department of Computer Science and Technology, University of Cambridge
University of Cambridge
University of Cambridge
University of Cambridge
MPhil in Advanced Computer Science.
University of Cambridge
For the best MPhil dissertation in Advanced Computer Science (joint).
University of Cambridge
For the best student in the Computer Science Tripos.
Regional Winner (U.K.), Computer Science
Winner
Supervisor, Part IA
Supervisor, Part IB
Supervisor, Part IB
Teaching Assistant, MPhil
Software Engineer
Kinematics, multi-view registration and volumetric SLAM, plus a small language for specifying reconstruction problems.
Software Engineering Intern
Extended a DSL for formal business processes; built UIs for LLM-assisted programming.
Research Intern
A semantics for causal interventions via thread-local storage and delimited continuations.
Research Intern
Personalised decision-support policies with Cambridge, NYU and CMU; built Modiste v2.
Software Engineering Intern
Moved feature flags to a microservice, cutting update time from hours to minutes.
Software Engineering Intern
Prototyped ways to extract rich failure information from ML systems.