EPSRC’s page for the project, including a summary, partners, duration, and value, is at http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/R006865/1.
Programming Principles, Logic and Verification Group (UCL)
Information Security Group (UCL)
Information Systems and Innovation Faculty Research Group
School of Electronic Engineering and Computer Science (QML)
Multicore Programming Group (Imperial)