I’m a master’s student studying Computer Science at the University of Cambridge. I’m interested in a broad range of topics within programming languages and machine learning: during my master’s, I’ve been studying category theory, machine learning, metaprogramming, verification, and machine learning applied to programming. I’m currently researching polymorphic subtyping under the supervision of Neel Krishnaswami. Previously, for my BA dissertation, I investigated systematic concurrency testing for Multicore OCaml under the supervision of KC Sivaramakrishnan.
Last summer, I interned in the Programming Principles and Tools group at Microsoft Research Cambridge. In previous internships, I’ve developed highly scalable services which power Office with the Shared Infrastructure team in Dublin and contributed to reducing Bing’s cost to serve with Microsoft London.
In my spare time, I lead a small team building software for Hack Cambridge, the University of Cambridge’s annual hackathon that is attended by around 300 students from universities all over the world. Our software is open-source and used by the organisers of other hackathons.