EPSRC grant
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)
interfacereasoning.com 