Since August 2020, I am a PhD student at the National University of Singapore, advised by Ilya Sergey.

I am interested in formal methods, programming languages, systems (especially distributed systems), and cryptography. My research so far has focused on building formally verified systems.

I graduated with an MEng degree in Computer Science from UCL in June 2019.

Summer 2019: I interned at MPI-SWS, working with Derek Dreyer and Ralf Jung on the RustBelt project.

Summer 2018: I was a research intern at Microsoft Research Cambridge with Christoph Wintersteiger, creating a formal model of the Coco framework.

Summer 2017: I was a research intern with Ilya Sergey, working on blockchain consensus protocols.