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) ucl.ac.uk
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 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)
interfacereasoning.com 