Prof Markus Roggenbach
My research group's
My research is on building dependable systems by turning formal
methods into an applicable, every day tool for software developers. In
this vision, formal methods are an integral part of any software
development process, where they are considered to be as essential as,
e.g., testing, whenever the quality of an artefact in this process,
say, a requirement, a design, or a program, shall be established.
- Specification languages and their semantics
Successfully supervised PhD / MPhil / MRes Projects (first supervision)
- T. Werner: Safety Verification of Ladder Logic Programs
for Railway Interlockings. 2017. MRes.
- M. Smith: A structured approach to modelling safety
with a perspective on capacity in the railway. 2016. MRes.
- J. Taylor: Testing Software Product Lines. 2016. MRes.
- P. James: Utilizing Domain Specific Languages for Verification -
A case study within the Railway Domain. 2013. PhD.
- L. O'Reilly: Compositional Reasoning in CSP-CASL. 2012. PhD.
- T. Davies: Implementation relations for CSP. 2012. MRes.
- T. Kahsai: Property Preserving Development and Testing for CSP-CASL, 2010. PhD.
- P. James: SAT-based Model Checking for Train Control Systems, 2009. MRes.
- L. O'Reilly: Developing Proof Technology for CSP-CASL, 2008, MPhil.
- G. Samuel: Implementing the Stable Revivals Model in CSP-Prover, 2008. MPhil.
- A. Gimblett: Tool Support for CSP-CASL, 2008. MPhil.
Swansea University Distinguished Teaching Award in 2011.
- CS-135 Professional Issues II: Software Development
Software tools, testing, and design methods for the development of
- Director of Research in the Department of Computer Science, Swansea
- Co-Chair of the IFIP WG 1.3
- Chair of the European Technical Working Group on Formal Methods in Railway Control
- Visiting Reader at the Univeristy of Surrey
Chair of Steering Committees
- AVOCS (Automatic Verification of Critical Systems) 2009, 2010;
- CALCO (Conference on Algebra and Coalgebra in Computer Science) 2019;
- FM-RAIL-BOK WORKSHOP, International Workshop, 2013;
- WADT (Workshop on Algebraic Development Techniques), 2016.
Address: Markus Roggenbach
Department of Computer Science
College of Science
Swansea SA2 8PP
Phone: +44 (0)1792 51-3578
Fax: +44 (0)1792 295708
Last modified: Sat Aug 10 12:01:09 BST 2013