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
School of Mathematics and Computer Science
Faculty of Science and Engineering
Swansea University
Bay Campus, Fabian Way
Swansea SA18EN, UK

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

Dr Monika Seisenberger

Associate Professor in Computer Science

Deputy Head of Department


Modelling, Verification, Formal Methods, Verification of Railway Control Systems, Trustable AI systems; Logic, Interactive Theorem Proving, Proof Theory, in particular Computational Content of Proofs; Program extraction, program verification.

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

Research Projects:
  • CID, Computing with Infinite Data, Horizon2020, April 2017-March 2022 (Co-PI)
  • CORCON, Correctness by Construction, Jan 2014- Dec 2017 (PI)
    FP7 Marie Curie International Research Project, PIRSES-GA-2013-61xs2638,
    This is a project which involved researchers from Japan, Australia, New Zealand, USA, India, Korea, Sweden, Italy, Germany, and UK and specifically supports and offers training for PhD students.
  • COMPUTAL, Computable Analysis FP7 Marie Curie International Research Project, PIRSES-GA-2011-294962, Febr 2012- Jan 2016 (Member)
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:

  • Siemens Rail Automation, Chippenham, UK,

  • Official Esterel Technologies Academic Partner


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


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

Some Links: