I am a Research Fellow working with Prof. Andy King. I am a Research Co-Investigator for 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. Previously I was developing commercial static analysis tools for finding concurrency bugs in Java applications whilst working at Contemplate Ltd.