Past research projects

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

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).