About

I am a PhD student at UCL, in the Programming Principles, Logic, and Verification group and supervised by David Pym and Elaine Pimentel. I previously completed an MSci in Mathematics at UCL.