I’m a computer science master’s graduate of the University of Cambridge. I’m interested in a broad range of topics within programming languages and machine learning: during my master’s, I studied category theory, machine learning, metaprogramming, formal methods, and machine learning applied to programming.
I recently completed my master’s dissertation on polymorphic subtyping, supervised by Neel Krishnaswami. Before that, in 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 at Microsoft London.