Link to Swansea University Link to Computer Science
Logo for Swansea University and Computer Science
Photo of Monika Seisenberger


Dr Monika Seisenberger
Dept. of Computer Science
College of Science
Swansea University
Bay Campus, Fabian Way
Swansea SA18EN, UK

t: (+44) (0)1792 602131
f: (+44) (0)1792 295708

Monika Seisenberger

Associate Professor in Computer Science

Programme Director, Deputy Head of Department


Formal Methods, Program extraction; Modelling, Specification & Verification; Verification of Railway Control Systems; Interactive Theorem Proving. Logic; Proof theory; well-quasi-orders.

I am a member of Swansea's Theoretical Computer Science group and of the Swansea Railway Verification Group.

Research Projects:
  • CID, Computing with Infinite Data, Horizon2020, April 2017-March 2021
  • Correctness by Construction, CORCON, FP7 Marie Curie International Research Project, PIRSES-GA-2013-612638, Jan 2014- Dec 2017.
    This is a project which involves researchers from Japan, Australia, New Zealand, USA, India, Korea, Sweden, Italy, Germany, and UK and specifically supports and offers training for PhD students. Currently in Swansea we have a vacancy for 1-2 PhD students to participate in the staff exchange. Swansea's contribution to the project is centered around program verification in general and obtaining correct programs specifically in the case of continuous data. If interested please contact Monika Seisenberger.
    Swansea Team: Ulrich Berger, Anton Setzer, Jens Blanck, Arnold Beckmann, Monika Seisenberger (Director).
  • Comput whenable Analysis, COMPUTAL, FP7 Marie Curie International Research Project, PIRSES-GA-2011-294962, Febr 2012- Jan 2016.
PhD Students:
  • Andrew Lawrence (Program Extraction, Verification of Railway Control Systems), completed 2016
  • Alison Jones (Proof theoretic methods in Natural Language Processing), completed 2018
  • Sulaiman Al-Shekaili (Analyzing Organizational Networks, Cyberterrorism), MSc by Research, completed 2018
  • Jay Morgan, Trustable Machine Learning Systems, ML and Verification, Start September 2018
  • Arved Friedemann, Prooftheory and Complexity Theory, Start September 2018
  • Aled Walters, Verification and Testing of Train Control Systems, Start September 2018
PhD Opportunities: See College of Science webpages, currently we have a vacancy for one funded CS PhD studentship.

Conferences and workshops I am/was involved in:

Industrial Collaboration:


Please find more detailed information, course material, and grades on Blackboard.


Refereed Journal and Conference Publications, Invited Publications, PhD-thesis, Edited Proceedings:

Some Links: