We would welcome contact and input from research and industrial sources.

For enquiries, please contact:

Julia Savage  (PA to Professor David Pym)

Email: j.savage (at)

Telephone: +44 (0)20 7679 0327 (direct); 30327 (internal)


Further Links

EPSRC grant

EPSRC’s page for the project, including a summary, partners, duration, and value, is at

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)