I work in the area of formal methods based verification. This entails using mathematical logic based techniques to specify and verify designs. I’ve been interested for many years in understanding how methodology can have a positive impact on the performance of formal verification tools so we can continue to verify bigger and more complex designs.

At Imagination and previously at GM and ARM I’ve been pioneering new ideas and methods to increase the penetration and deployment of formal. For more details see my papers and patents. Previously when I worked in Universities my work included research in developing appropriate theoretical frameworks, and then implementing tools based around the theory that can be used in automatic or semi-automatic way.