I'm a first year PhD student within the Verified Software research group at Imperial College London, co-supervised by Philippa Gardner and Andreas Lööw.

I'm broadly interested in theoretical computer science and programming languages, with a focus on formal verification and compositional symbolic execution tools.

Education

PhD, Theoretical Computer Science
Imperial College London; October 2025 -- Present

MEng, Computer Science
Imperial College London; October 2021 -- June 2025
My Master's thesis, titled "From State to Solver: Sound Encodings for Compositional Symbolic Execution", formally explored the interaction between CSE tools and SMT solvers.

Honours and Awards

POPL Student Research Competition - First Place
Rennes, France; January 2026
First place in the graduate category, out of ~30 total accepted submissions.

Doctoral Scholarship Award
Imperial College London

Corporate Partnership Programme Prize for Technical Innovation
Imperial College London; July 2025
Awarded for outstanding achievement in my Master’s thesis, which scored 87%, achieving "Distinguished Project" status.

Teaching
Experience

I've previously worked at a number of companies. Most recently, I was a delta intern at Palantir, where I was working with clients across sectors. I focused on large-scale real world optimisation problems.

Personal

I occasionally write on my blog about all sorts of topics which interest me, from films I've seen, to my research, to little side projects.

I like watching movies and I'm quite active on letterboxd.

st621 [at] ic.ac.uk | github