The following are the key contributors in the development of the CSP||B approach:

• Professor Steve Schneider

  Steve Schneider is Head of Computing at the University of Surrey. He has been working in the area of formal methods and security for over 20 years. He has published several books including ones on the B-Method and on the CSP approach to real-time and concurrent systems. He has made a significant contribution to research in process algebra, its timed extensions, and its application.

• Dr Helen Treharne

  Helen Treharne is a Senior Lecturer at the University of Surrey. She was behind the initial development of the theoretical foundations for CSP || B, and has completed an EPSRC project which extended the theory of CSP || B to apply to information systems and investigated the animation of CSP || B descriptions. She has previous industrial experience of using the B-Method to develop embedded software.

• Dr Neil Evans

  Neil Evans is a Senior Formal Methods Developer with AWE plc, Aldermaston. He was previously a Research Fellow at the Department of Electronics and Computer Science, University of Southampton where he worked on the RODIN project investigating open source tool support for verification of B developments. He has extensive experience of using the theorem prover PVS for verifying security properties and has developed an approach for using PVS to provide theorem prover support for CSP||B.

• Mr Edward Turner

  Edward Turner is a Research Fellow at the University of Surrey. He has previously worked as a Research Assistant in the Department of Electronics and Computer Science, Univesity of Southampton, where he developed a Java interface to the ProB model checker. Continuing his interest in this area, he investigated improving the visual feedback provided by model checkers, and developed the first classical method for symmetry reduced model checking in B.

• Mr Wilson Ifill

  Wilson Ifill works at AWE plc, Aldermaston. He has been responsible for co-ordinating formal methods research for a number of years. He is also a part-time PhD at the University of Surrey. His main research interests are in synthesising controllers for B machines and in developing hardware/software co-design techniques based on CSP||B.

• Marchia Bramble, Royal Holloway, University of London.
• Damien Karkinsky, Department of Computing, University of Surrey