I am a Research Fellow at the University of Kent, working with Andy King on the SeMaMatch project (part of the EPSRC/GCHQ Research Institute in Automated Program Analysis and Verification) and Research Co-Investigator on the Vulnerability Discovery using Abduction and Interpolation EPSRC Joint Singapore-UK Cybersecurity grant. 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.