I'm part of:
My interests include:
See my publications on DBLP, Google Scholar or Edinburgh Research Explorer. There is also an old list by me of papers up to 2007.
Robustness as Evolvability is studying programmable networks and their evolution in response to cyber attacks.
App Guarden examines 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. App Guarden finishes in March 2017, but we are examining several follow-on strands.
Proof General provides a generic proof development environments for Coq and other theorem provers. I am conducting research into Proof Engineering and Hierarchical Proof. I'm also associated with a cool project on collaborative theorem proving called Proof Peer.
The Integration and Interaction of Multiple Mathematical Reasoning Processes is a Platform Grant assoiated with the Mathematical Reasoning Group at Edinburgh, and groups at Heriot-Watt and Goldsmiths College. This grant brings together a range of innovative work connected with automated and interactive theorem proving and reasoning in general.
See some more of my past projects.