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.