I'm a first year PhD student within the Verified Software research group in the Department of Computing at Imperial College London, under the supervision of Philippa Gardner and Andreas Lööw.

I'm broadly interested in 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, Computing
Imperial College London · October 2025 -- Present

MEng, Computing
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