Professor Markus Roggenbach

Professor

Computer Science

+44 (0) 1792 543578

m.roggenbach@swansea.ac.uk

Practitioner Office - 955
First Floor
Talbot Building
Singleton Campus

Available For Postgraduate Supervision

Research Links

https://orcid.org/0000-0002-3819-2787

ResearcherID

About

Professor Markus Roggenbach is a lecturer in Computer Science, Swansea University.

Publications

Research Highlights

Jezinski, M., Roggenbach, M., Seisenberger, M., Cai, V., & Caraffini, F. (2025). Creating Synthetic Test Data for Rail Design Tools – The Case of Linear Scheme Plans. In Lecture Notes in Computer Science (pp. 78-87). Springer Nature Switzerland.
https://doi.org/10.1007/978-3-032-10762-6_8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa71311
Cerone, A., Roggenbach, M., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Communications in Computer and Information Science (pp. 1-26). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_1, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60461
Haxthausen, A., Nguyen, H., & Roggenbach, M. (2015). Comparing Formal Verification Approaches of Interlocking Systems. In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (pp. 160-177). Springer International Publishing.
https://doi.org/10.1007/978-3-319-33951-1_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa61983
James, P., Moller, F., & Roggenbach, M. (2023). Software Model Checking of Interlocking Programs. Lecture Notes in Computer Science (pp. 130-146). Springer Nature Switzerland
https://doi.org/10.1007/978-3-031-40132-9_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63848
Crook, T., Morgan, J., Pauly, A., & Roggenbach, M. (2023). A Computability Perspective on (Verified) Machine Learning. In Recent Trends in Algebraic Development Techniques (pp. 63-80). Springer Nature Switzerland.
https://doi.org/10.1007/978-3-031-43345-0_3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63849

All Research

Journal Articles

Yao, H., Pan, S., Cai, X., Wang, Y., Yan, H., Chen, N., Hu, Y., Roggenbach, M., Wood, C., Sreeram, A., & Hou, Y. (2026). Intelligent Monitoring of Longitudinal Rail Force Using Time Series Forecasting Large Language Models. High-speed Railway, 0
https://doi.org/10.1016/j.hspr.2026.05.003, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa71994
Zhang, Y., Wang, H., James, P., Roggenbach, M., & Tian, D. (2022). A Train Protection Logic Based on Topological Manifolds for Virtual Coupling. IEEE Transactions on Intelligent Transportation Systems, 23(8), 11930-11945.
https://doi.org/10.1109/tits.2021.3108840, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57959
Haveraaen, M. & Roggenbach, M. (2020). Specifying with syntactic theory functors. Journal of Logical and Algebraic Methods in Programming, 113, 100543
https://doi.org/10.1016/j.jlamp.2020.100543, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53791
Blasco, J., Chen, T., Muttik, I., & Roggenbach, M. (2018). Detection of app collusion potential using logic programming. Journal of Network and Computer Applications, 105, 88-104.
https://doi.org/10.1016/j.jnca.2017.12.008, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37676
Berger, U., James, P., Lawrence, A., Roggenbach, M., & Seisenberger, M. (2018). Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming, 154, 61-88.
https://doi.org/10.1016/j.scico.2017.10.011, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37102
Knapp, A., Roggenbach, M., & Schlingloff, B. (2015). Automating Test Case Selection in Model-Based Software Product Line Development. International Journal of Software and Informatics, 9(2), 153-175.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21771
http://www.ijsi.org/1673-7288/9/i213.htm
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming, 96, 315-336.
https://doi.org/10.1016/j.scico.2014.04.005, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21769
James, P. & Roggenbach, M. (2014). Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Mathematics in Computer Science, 8(1), 11-38.
https://doi.org/10.1007/s11786-014-0174-0, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21768
Nguyen, H., James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer, 16(6), 685-711.
https://doi.org/10.1007/s10009-014-0304-7, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21770
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2013). On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST, 62
https://doi.org/10.14279/tuj.eceasst.62.873, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51786
https://journal.ub.tu-berlin.de/eceasst/article/view/873
James, P. & Roggenbach, M. (2010). Automatically Verifying Railway Interlockings using SAT-based Model Checking. Electronic Communications of the EASST, 35
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8085
Samuel, D., Roggenbach, M., & Isobe, Y. (2009). The Stable Revivals Model in CSP-Prover. Electronic Notes in Theoretical Computer Science, 250(2), 119
https://doi.org/10.1016/j.entcs.2009.08.021, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa164
O'Reilly, L., Roggenbach, M., & Isobe, Y. (2009). CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electronic Notes in Theoretical Computer Science, 250(2), 69
https://doi.org/10.1016/j.entcs.2009.08.018, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa165
Isobe, Y. & Roggenbach, M. (2008). CSP-Prover - A proof tool for the verification of scalable concurrent systems. Journal of Computer Software, 25(4), 85-92.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa166
Roggenbach, M. (2006). CSP-CASL—A new integration of process algebra and algebraic specification. Theoretical Computer Science, 354(1), 42
https://doi.org/10.1016/j.tcs.2005.11.007, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1726
Mossakowski, T., Schröder, L., Roggenbach, M., & Reichel, H. (2006). Algebraic–coalgebraic specification in CoCasl. The Journal of Logic and Algebraic Programming, 67(1-2), 146
https://doi.org/10.1016/j.jlap.2005.09.006, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1727

Authored Books

Roggenbach, M., Cerone, A., Schlingloff, B., Schneider, G., & Shaikh, S. (2022). Formal Methods for Software Engineering (1st ed.). Springer International Publishing.
https://doi.org/10.1007/978-3-030-38800-3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa58713
http://dx.doi.org/10.1007/978-3-030-38800-3
Roggenbach, M., Gruner, S., Kumar, A., Maibaum, T., & Roggenbach, M. (2020). On the Construction of Engineering Handbooks Springer International Publishing.
https://doi.org/10.1007/978-3-030-44648-2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa54031
http://dx.doi.org/10.1007/978-3-030-44648-2
Roggenbach, M. (2009). AVoCS'09 - Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa193
http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/32
O'Reilly, L. & Roggenbach, M. (2009). AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems Swansea University.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa194

Book Chapters

James, P., Moller, F., & Roggenbach, M. (2023). Software Model Checking of Interlocking Programs. Lecture Notes in Computer Science (pp. 130-146). Springer Nature Switzerland
https://doi.org/10.1007/978-3-031-40132-9_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63848
Asăvoae, I., Blasco, J., Chen, T., Kalutarage, H., Muttik, I., Nguyen, H., Roggenbach, M., & Shaikh, S. (2017). Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case. Data Analytics and Decision Support for Cybersecurity -97). Springer
https://doi.org/10.1007/978-3-319-59439-2_3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa34902
Knapp, A., Mossakowski, T., Roggenbach, M., & Glauer, M. (2015). An Institution for Simple UML State Machines. Fundamental Approaches to Software Engineering -18). Springer
https://doi.org/10.1007/978-3-662-46675-9_1, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa28354
James, P., Knapp, A., Mossakowski, T., & Roggenbach, M. (2013). Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl. Recent Trends in Algebraic Development Techniques -194). Springer
https://doi.org/10.1007/978-3-642-37635-1_11, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa14355
Maldonado, A., Monteiro, L., & Roggenbach, M. (2010). Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum. Recent Trends in Algebraic Development Techniques (pp. 209
https://doi.org/10.1007/978-3-642-28412-0_14, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa5295
Kahsai, T. & Roggenbach, M. (2009). Property Preserving Refinement for Csp-Casl. Recent Trends in Algebraic Development Techniques (pp. 206Springer
https://doi.org/10.1007/978-3-642-03429-9_14, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa40
Isobe, Y. & Roggenbach, M. (2008). Verifying the uniform candy distribution puzzle with CSP-Prover. (pp. ??? pp.University Pretoria
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa24
Isobe, Y. & Roggenbach, M. (2008). Proof Principles of CSP – CSP-Prover in Practice. Springer
https://doi.org/10.1007/978-3-540-76862-3_42, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa7528
Isobe, Y. & Roggenbach, M. (2006). A Complete Axiomatic Semantics for the CSP Stable-Failures Model. CONCUR 2006 – Concurrency Theory (pp. 158
https://doi.org/10.1007/11817949_11, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1729
Yoshinao, I., Mark, R., & Roggenbach, M. (2005). A Generic Theorem Prover of CSP Refinement. Tools and Algorithms for the Construction and Analysis of Systems (pp. 108-123). Springer
https://doi.org/10.1007/b107194, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1728

Conference Contributions

Brooks, G., Walton, S., Roggenbach, M., Armstrong, J., & Rahat, A. (2026). Robust Evolutionary Optimization for Demand-Balanced Railway Route Design. In GECCO '26: Proceedings of the Genetic and Evolutionary Computation Conference (pp. 1047-1055). Association for Computing Machinery (ACM).
https://doi.org/10.1145/3795095.3805167, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa71785
Jezinski, M., Roggenbach, M., Seisenberger, M., Cai, V., & Caraffini, F. (2025). Creating Synthetic Test Data for Rail Design Tools – The Case of Linear Scheme Plans. In Lecture Notes in Computer Science (pp. 78-87). Springer Nature Switzerland.
https://doi.org/10.1007/978-3-032-10762-6_8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa71311
Crook, T., Morgan, J., Pauly, A., & Roggenbach, M. (2023). A Computability Perspective on (Verified) Machine Learning. In Recent Trends in Algebraic Development Techniques (pp. 63-80). Springer Nature Switzerland.
https://doi.org/10.1007/978-3-031-43345-0_3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63849
Banerjee, M., Cai, V., Lakshmanappa, S., Lawrence, A., Roggenbach, M., Seisenberger, M., & Werner, T. (2023). A Tool-Chain for the Verification of Geographic Scheme Data. In Editors: Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte (Ed.), Lecture Notes in Computer Science (pp. 211-224). Springer Nature Switzerland.
https://doi.org/10.1007/978-3-031-43366-5_13, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63851
Rosenberger, T., Knapp, A., & Roggenbach, M. (2022). An Institutional Approach to Communicating UML State Machines. In Fundamental Approaches to Software Engineering (pp. 205-224). Springer International Publishing.
https://doi.org/10.1007/978-3-030-99429-7_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60036
Hinns, J., Fan, X., Liu, S., Kovvuri, R., Yalcin, M., & Roggenbach, M. (2021). An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms: A COVID-19 Virus Transmission Case Study. In PRICAI 2021: Trends in Artificial Intelligence (pp. 323-335). Springer International Publishing.
https://doi.org/10.1007/978-3-030-89188-6_24, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57960
Rosenberger, T., Bensalem, S., Knapp, A., & Roggenbach, M. (2021). Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. In Recent Trends in Algebraic Development Techniques (pp. 120-141). Springer International Publishing.
https://doi.org/10.1007/978-3-030-73785-6_7, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa55328
Cerone, A., Roggenbach, M., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Communications in Computer and Information Science (pp. 1-26). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_1, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60461
Chen, L., Roggenbach, M., & Tucker, J. (2019). An Algebraic Theory for Data Linkage. In Recent Trends in Algebraic Development Techniques (pp. 47-66). Springer.
https://doi.org/10.1007/978-3-030-23220-7_3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa50298
Haxthausen, A., Nguyen, H., & Roggenbach, M. (2015). Comparing Formal Verification Approaches of Interlocking Systems. In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (pp. 160-177). Springer International Publishing.
https://doi.org/10.1007/978-3-319-33951-1_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa61983
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, . (2014). Decomposing scheme plans to manage verification complexity. In FORMS/FORMAT- 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37077
Maldonado, A., Monteiro, L., & Roggenbach, M. (2012). Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum. In Recent Trends in Algebraic Development Techniques (pp. 209-225). Springer.
https://doi.org/10.1007/978-3-642-28412-0_14, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8086
http://link.springer.com/chapter/10.1007%2F978-3-642-28412-0_14
O’Reilly, L., Mossakowski, T., Roggenbach, M., & O'Reilly, L. (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. In Recent Trends in Algebraic Development Techniques (pp. 251-269). Springer.
https://doi.org/10.1007/978-3-642-28412-0_16, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8087
http://link.springer.com/chapter/10.1007%2F978-3-642-28412-0_16
Roggenbach, M. & James, P. (2011). Designing Domain Specific Languages for Verification: First Steps..
https://doi.org/10.1.1.220.7401, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8089
http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/Papers/james11a.pdf
Holland, G., Kahsai, T., Roggenbach, M., & Schlingloff, B. (2009). Towards formal testing of jet engine Rolls-Royce BR725. (pp. 217-229). Institute of Informatics, Warsaw University.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa38
Roggenbach, M. (2009). SAT-based model checking of train control systems. (pp. 15-17). University of Udine.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa39
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2009). On the whereabouts of CSP-CASL - A survey. (pp. 121-139). Sichere Kognitive Systeme, DFKI Bremen.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa104
James, P., Isobe, Y., & Roggenbach, M. (2009). Verifying train control software - An exercise in SAT-based model checking. In 11th JSSST Workshop on Programming and Programming Languages (PPL2009) (pp. 1Japan Society for Software Science and Technology.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa196
http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/sites/default/files/uploads/papers/james09a.txt
Kahsai, T. & Roggenbach, M. (2009). Property Preserving Refinement for Csp-Casl. In Recent Trends in Algebraic Development Techniques (pp. 206-220).
https://doi.org/10.1007/978-3-642-03429-9_14, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa7529
Holland, G., Kahsai, T., Roggenbach, M., & B.H., S. (2009). Towards formal testing of jet engine Rolls-Royce BR725.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8083
Roggenbach, M. (2008). Tools for CSP. (pp. 213IEEE.
https://doi.org/10.1109/SEFM.2008.39, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa20
Kahsai, T. & Roggenbach, M. (2008). Refinement notions for CSP-CASL. (pp. 15-16). Universita di Pisa, Dipartimento di Informatica.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21
http://eprints.adm.unipi.it/2208/
Mossakowski, T. & Roggenbach, M. (2008). An institution for processes and data. (pp. 13-14). Universita di Pisa, Dipartimento di Informatica.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa23
http://eprints.adm.unipi.it/2208/
Kahsai, T., Roggenbach, M., & Schlingloff, B. (2008). Specification-based testing for Software Product Lines. (pp. 149-159). IEEE.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa34
Yoshinao, I. & Roggenbach, M. (2008). CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa5293
Kahsai, T., Roggenbach, M., & Schlingloff, B. (2008). Speci?cation-Based Testing for Software Product Lines. In Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on (pp. 149-158). IEEE.
https://doi.org/10.1109/SEFM.2008.38, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa5294
Gruner, S., Kourie, D., Roggenbach, M., Strauss, T., & Watson, B. (2008). A New CSP Operator for Optional Parallelism. (pp. 788
https://doi.org/10.1109/CSSE.2008.1131, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa7530
Gruner, S., Kourie, D., Roggenbach, M., Strauss, T., & Watson, B. (2008). A New CSP Operator for Optional Parallelism. In 2008 International Conference on Computer Science and Software Engineering (pp. 788IEEE.
https://doi.org/10.1109/CSSE.2008.1131, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37
Isobe, Y., Merrin, W., & Roggenbach, M. (2007). Proof principles of CSP - CSP-Prover in practice. (pp. 425-442). Springer.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa27

Edited Books

Haxthausen, A., Huang, W., & Roggenbach, M. (Eds.). (2023). Applicable Formal Methods for Safe Industrial Products. Springer Nature Switzerland.
https://doi.org/10.1007/978-3-031-40132-9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64591

Other Research Outputs

A.P., M., Monteiro, L., & Roggenbach, M. (2010). Towards bialgebraic semantics for CSP.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8084
http://ctp.di.fct.unl.pt/~apm/publications/MMR-TR-3-2010.pdf

Supervision

Privacy and Robustness in Federated Learning (current)

PhD

Other supervisor: Dr Yang Liu
Extending the state-of-the-art in Software Certification: A Study in Railway Signalling (SoftCert) (current)

PhD

Other supervisor: Dr Eike Neumann
Creating Synthetic Test Data for Rail Design Tools (current)

PhD

Other supervisor: Dr Monika Seisenberger
Bridging Finite and Infinite State Verification: Generalised Property Directed Reachability, with a Proof of Correctness and Termination (current)

PhD

Other supervisor: Dr Anton Setzer
Using efficient reinforcement learning and Bayesian optimisation to create robust train planning solutions (current)

PhD

Other supervisor: Dr Sean Walton
Testing of Railway RBCs in ERTMS Level 2 using Formal Methods (awarded 2024)

PhD

Other supervisor: Dr Monika Seisenberger
Institution-based Semantics and Tool Support for the UML (awarded 2023)

PhD

Other supervisor: Dr Phillip James
Exploring the IC3 Algorithm to Improve the Siemens-Swansea Ladder Logic Verification Tool (awarded 2023)

MRes

Other supervisor: Dr Oliver Kullmann
An Empirical Evaluation of a Quality Assurance Process: A Case Study in the Railway Sector (awarded 2025)

MSc

Other supervisor: Dr Eike Neumann
Show me how it's wrong: Counterexample Visualisation in Static Railway Verification (awarded 2024)

MSc

Other supervisor: Dr Monika Seisenberger
Quantifying Underspecification in Machine Learning with Explainable AI (awarded 2022)

MSc

Other supervisor: Dr Xiuyi Fan

Taught Modules

CS-129 Programming & Software Engineering 2

This module is a continuation of Programming and Software Engineering 1. Students will continue to build their skills in programming and will be exposed to more advanced concepts. They will also explore testing in more depth, and will study and compare software engineering methodologies. Students will be formally introduced to algorithms and their analysis.
CSC313 Critical Systems

This module introduces various techniques for developing high integrity systems.
CSCM985 Logic, Modelling and Verification

This module provides a thorough introduction to the fundamental concepts and techniques used in logical reasoning and the verification of computer systems. The course covers propositional, and predicate logic, discusses various proof techniques, and will give an overview of the landscape and the state of the art of current specification and verification techniques. Through a combination of lectures and hands-on labs, students will gain practical experience with verification tools such as Microsoft¿s Z3 and Dafny.

Professor Markus Roggenbach

Telephone number

Email address

Research Links

About

Research Highlights

All Research

Privacy and Robustness in Federated Learning (current)

Extending the state-of-the-art in Software Certification: A Study in Railway Signalling (SoftCert) (current)

Creating Synthetic Test Data for Rail Design Tools (current)

Bridging Finite and Infinite State Verification: Generalised Property Directed Reachability, with a Proof of Correctness and Termination (current)

Using efficient reinforcement learning and Bayesian optimisation to create robust train planning solutions (current)

Testing of Railway RBCs in ERTMS Level 2 using Formal Methods (awarded 2024)

Institution-based Semantics and Tool Support for the UML (awarded 2023)

Exploring the IC3 Algorithm to Improve the Siemens-Swansea Ladder Logic Verification Tool (awarded 2023)

An Empirical Evaluation of a Quality Assurance Process: A Case Study in the Railway Sector (awarded 2025)

Show me how it's wrong: Counterexample Visualisation in Static Railway Verification (awarded 2024)

Quantifying Underspecification in Machine Learning with Explainable AI (awarded 2022)

CS-129 Programming & Software Engineering 2

CSC313 Critical Systems

CSCM985 Logic, Modelling and Verification