# About Me
I'm a current part III (masters) student reading Computer Science at the University of Cambridge where I also just completed my undergrad.
My academic interests orbit around discrete mathematics (algebra, category theory, logic, type theory) and programming language design. I'm particularly interested in type systems, and features which allow greater abstractionn; both from a theoretical standpoint, and about their implementation in interpreters and compilers. Especially with a focus on applying these ideas to actually improve programming productivity and expressivity.
Beyond that, I enjoy general programming1, human-computer interaction, distributed systems, and databases.
If you’re curious, I also keep a page of my favourite books, papers, and blogs on these specific areas of computer science, ranging from introductory to more advanced.
Recently, I've been researching improving understanding of type systems via interactive code highlighting systems,2 applied to an in-development research language: Hazel.
In the future I'd love to work more widely on some other programming languages, to hopefully improve their power and usability.
# Recent Activity
My latest blog posts & research is listed below. Expecting these lists to expand over the next few years!
# Latest posts
- 2025-11-07
- Programming with Quotients (Reading time: 13 minutes)
- 2025-11-01
- The Effect Handler Soup — Pushing Effect Handlers into the Mainstream (Reading time: 11 minutes)
- 2025-10-18
- Day 7 - I'm Attending ICFP & SPLASH 2025! (Reading time: less than a minute)
- 2025-10-16
- Day 5 - I'm Attending ICFP & SPLASH 2025! (Reading time: 5 minutes)
- 2025-10-14
- Day 3 - I'm Attending ICFP & SPLASH 2025! (Reading time: 10 minutes)
- 2025-10-13
- Day 2 - I'm Attending ICFP & SPLASH 2025! (Reading time: 13 minutes)
- 2025-10-12
- Day 1 - I'm Attending ICFP & SPLASH 2025! (Reading time: 10 minutes)
- 2025-10-11
- I'm Attending ICFP & SPLASH 2025! (Reading time: less than a minute)