I lead the local Security and Privacy research grouping in Informatics, together with Andy Gordon.
I'm a member of the Laboratory for Foundations of Computer Science (LFCS) and the Mathematical Reasoning Group.
My interests include:
For more details, please see my papers.
App Guarden is researching foundations for improving security of application stores and devices. It builds on over a decade of research in the Mobility and Security Group, and brings new collaborations with Informatics colleagues working on compilers and machine learning.
Together with Mike Just I have been working on studying new and current techniques for Knowledge-Based Authentication and passwords.
General provides generic
proof development environments for Isabelle, Coq, and other theorem
provers. Connected with the Proof General project, I am
conducting research into Proof
Together with Steven Obua and Jacques Fleuriot, I'm starting a new project on collaborative theorem proving called Proof Peer.
I am a co-Investigator on the EPSRC Platform Grant The Integration and Interaction of Multiple Mathematical Reasoning Processes held in the Mathematical Reasoning Group. This grant brings together a range of innovative work connected with automated and interactive theorem proving, as well as representation and reasoning more generally.
See some more of my past projects.