Past research projects

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

Projects on certified verification and proof-carrying code:
- An EPSRC project: ReQueST (2005-9, Co-I) into 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).