A combined approach to specification development
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.
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.
- University of Swansea, Phillip James, Faron Moller, Hoang Nga Ngyuen, Markus Roggenbach,
- University of Paderborn, Heike Wehrheim
- University of VU, Amsterdam, David Williams
- Neil Evans, AWE
- Wilson Ifill, AWE
- Beeta Vajar
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.
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.