Home

Welcome to the Processes and Data Research Group. We are based in Swansea University's Computer Science department. Our current research includes

Co-algebraic semantics for the process algebra CSP.
Semantics, proof calculi, testing and tool support for the specification language of CSP-CASL.
Verification of Railway control software.

Group Photo for 2010

Phillip James Liam O'Reilly Marc Dragon Markus Roggenbach Wai Leung Sze (Stephen) Tom Davies

Hoang Nga Hguyen (Not Pictured)

Since February 1st 2011, we participate in the EPSRC/RSSB funded Safecap project, which is a cooperation between Newcastle University, Swansea University, the company Invensys as an industrial partner, and the AIST, Japan.

Further cooperations with industry exist via the Software Quality Lab.

We also develop CSP-Prover which is an interactive theorem prover dedicated to refinement proofs within the process algebra CSP.

The Processes and Data project was originally supported by a grant from EPSRC. The report for this EPSRC grant is in the form of a frozen version of this website (up until 31st October 2009) which can be found here, no further updates will occur. This website however will continue to grow and expand with the life of the Processes and Data Group.