Past research projects

Here are some previous research projects I've worked on and managed.

A visiting mathematician who worked on formalising some new parts of mathematics inside Isabelle, in a grant entitled The potential of automated reasoning tools to assist the working mathematician.
An EPSRC project: ReQueST (2005-9, Co-I) studied resource certification of e-Science applications
An EPSRC follow-on project Resource Static Analysis (2009-10, PI) building static analysis tools for Java programs to analyse and check their resource usage.
An EU project: MOBIUS (2004-9, site Co-I)
Type Systems for Resource Bounded Programming and Compilation.
EPSRC Project, June 2000 - Oct 2002.

Mobile Resource Guarantees, which investigated proof-carrying code for resources. January 2002-April 2005.

Type Systems for Resource Bounded Programming and Compilation.
EPSRC Project, June 2000 - Oct 2002.
Isamode, a progenitor of Proof General (no longer supported).