I am currently a Research Fellow at the University of Kent, working with Andy King on an EPSRC Joint UK-Singapore Cyber-Security Grant titled Vulnerability Discovery using Abduction and Interpolation.
My interests generally lie in static analysis and abstract interpretation.
Previously I was a Research Engineer working for Contemplate, a start-up developing static analysis tools for Java.
I studied for my PhD at Queen Mary, University of London, supervised by Dr. Hongseok Yang, and Prof. Peter O'Hearn. My thesis was titled "Proving Termination using Abstract Interpretation", which you can find here.