Prof Markus Roggenbach


My research group's webpage: Processes and Data

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.



Successfully supervised PhD / MPhil / MRes Projects (first supervision)


Swansea University Distinguished Teaching Award in 2011.

Professional Activities

Chair of Steering Committees

PC Chair

Conference Organisation


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
Last modified: Sat Aug 10 12:01:09 BST 2013