Further Links

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.

Gateway to research page

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)


Amazon (Automated Reasoning)