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.