About me

I am a PhD student at the Computer Laboratory at the University of Cambridge, working with Prof Peter Sewell and Prof Neel Krishnaswami as part of the REMS group. I hold a Google DeepMind scholarship.

My work aims to make real-world C software more reliable, via novel tooling that dynamically checks separation-logic specifications at runtime in C. This specification-testing tool, Fulminate, is part of a wider CN toolchain developed alongside colleagues at Cambridge, Oxford and Penn, which can be used to test, property-based test and prove correctness of such C code.

More broadly, I am interested in how runtime testing can usefully be integrated into formal methods workflows, and the symbiotic relationship between testing and proof, especially for (but not limited to) low-level software with interesting ownership patterns.

Previously, I did an integrated Master's degree in Mathematics and Computer Science at Imperial College London, where I worked with Dr Azalea Raad on formal transactional memory models for non-volatile memory.