I work on programming language design, with a focus on principled, minimal solutions. I am currently a software engineer at VBR Robotics, as well as a member of the Modular Macros project, led by Jeremy Yallop.
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 continue to supervise undergraduates at Cambridge.
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.