Group Members

• Tom Davies (MRes student) - Various CSP Implementation Techniques.
• Marc Dragon (3rd year student) - Implementing a Timed CSP Simulator.
• Hoang Nga Hguyen (Research Assistane) - Working on the SafeCap project.
• Phillip James (PhD student) - Formal Specification and Verification of Train Signalling Systems.
• Liam O'Reilly (PhD student) - Theorem Proving for CSP-CASL.
• Markus Roggenbach (Senior Lecturer).
• Wai Leung Sze (Stephen) (3rd year student) - Modelling Railway Systems in CASL.

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

Hoang Nga Hguyen (Not Pictured)

Former Group Members

• Temesghen Kahsai - Specification-based Testing and Refinement Notions for CSP-CASL - Researching at the University of Iowa.
• Andy Gimblett - Tool Support for CSP-CASL - Member of the HCI group since 01.08.2008.
• Gift Samuel - Implementation of the Stable Revival Model in CSP-Prover - Working at Global Interactive Marketing Online.

Phillip James Liam O'Reilly Markus Roggenbach Temesghen Kahsai

Andy Gimblett Liam O'Reilly Markus Roggenbach Temesghen Kahsai Gift Samuel