Prof Markus Roggenbach

Research

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.

Topics

• Specification languages and their semantics
• Verification
• Testing
• Tools
  • Kandroid (in cooperation with Irina Asavoae, Hoang Nga Nguyen)
  • OnTrack (in cooperation with Phillip James, Faron Moller, Hoang Nga Nguyen, Helen Treharne)
  • Timed CSP Simulator (in cooperation with Marc Dragon, Marc Fontaine, Andy Gimblett, Faron Moller, Hoang Nga Nguyen)
  • CSP-Prover (in cooperation with Y.Isobe )
  • CASL Consistency Checker (CCC) (in cooperation with C.Lüth and L.Schröder )

Projects

• Data Release (2016 -2020). EPSRC.
• CHERISH-DE (2015-2020). EPSRC.
• ACID (2014-17). EPSRC.
• DITTO (2014-17). RSSB.
• SafeCap (2011-13). EPSRC / RSSB.
• South Africa-UK Science Network (2007-2008).
• Processes and Data (2006-2009). EPSRC Project EP/D037212/1.

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.

Teaching

• CS-135 Professional Issues II: Software Development
  Software tools, testing, and design methods for the development of reliable software.

Professional Activities

• 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
• CALCO
• WADT

PC Chair

• 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.

Conference Organisation

• WADT 2016
• AVoCS 2009
• BCTCS 2006
• CALCO 2005

E-mail:  M.Roggenbach@swan.ac.uk

Address: Markus Roggenbach
         Department of Computer Science
         College of Science
         Swansea University
         Singleton Park
         Swansea SA2 8PP 
         United Kingdom

Phone:   +44 (0)1792 51-3578
Fax:     +44 (0)1792 295708