I’m a research engineer in the Verified Software group at Imperial College London.

I’m currently working on Gillian, a symbolic execution platform that’s parametric across target languages. My primary goal is to improve the accessibility and user experience of the Gillian platform in order broaden its user base, in the pursuit of real-world viability.

After serving multiple positions in traditional software engineering, my journey in verified software began in the final year of my undergraduate studies — I completed my final project under Prof. Philippa Gardner, introducing a visual debugger for symbolic execution and state matching in Gillian. After earning a first class MEng degree, I accepted the invitation to continue working on the Gillian platform as a research engineer.