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.

Theses

From State to Solver: Sound Encodings for Compositional Symbolic Execution
Master's Thesis · Imperial College London · June 2025 [pdf]
This project formalises how symbolic program states are encoded into SMT queries in compositional symbolic execution tools, proving the encoding sound for both over- and under-approximate reasoning. It also extends the Gillian platform with support for user-defined algebraic datatypes and functions, improving the expressiveness and performance of program verification.

Education

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

MEng, Computer Science
Imperial College London · October 2021 -- June 2025

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

Some quotes:

You get a van, Jez, we could be men with ven.

Super Hans

But how could you live and have no story to tell?

Fyodor Dostoyevsky

Here are some photos from my life and travels.

st621 [at] ic.ac.uk | github