I am a Research Fellow at the University of Kent, working with Andy King. My current role is Research Co-Investigator on the Vulnerability Discovery using Abduction and Interpolation EPSRC Joint Singapore-UK Cybersecurity grant. Previously I was working on the SeMaMatch project (part of the EPSRC/GCHQ Research Institute in Automated Program Analysis and Verification). I am a member of the PLAS and Security research groups at Kent.
My research interests generally lie in static analysis and abstract interpretation. During my PhD I designed abstract interpreters for proving program termination. More recently I was developing commercial static analysis tools for finding concurrency bugs in Java applications whilst working at Contemplate Ltd.