CSP||B

A combined approach to specification development

  • Team

Researchers

  • Helen Treharne Helen Treharne has 15 years experience in formal modelling and has a particular interest in its application to the railway industry, defence industry and more recently security related applications.






  • Steve Schneider Steve Schneider is head of the University of Surrey Formal Methods and Security group, and has over 25 years of experience in formal methods and its application to security. He has seminal papers on Timed CSP semantics and is the author of well-received books on CSP and Timed CSP, and the B-Method.


Collaboration Teams

  • University of Swansea, Phillip James, Faron Moller, Hoang Nga Ngyuen, Markus Roggenbach,
  • University of Paderborn, Heike Wehrheim
  • University of VU, Amsterdam, David Williams

Previous Members

  • Neil Evans, AWE
  • Wilson Ifill, AWE
  • Beeta Vajar

Webmasters

  • Jorden Whitefield Jorden Whitefield is a current Second year Undergradute Student of Computer Science at the University of Surrey. Interested in Software Development and Web Applications. Currently looking at node.js.






  • Andreas Theodorou Andreas Theodorou is a current Second year Undergradute Student of Computing and Information Technology at the University of Surrey. Interested in Software Development and Information Retrieval. Also interested in Data Security and Encryption.