Link to Swansea University Link to Computer Science
Logo for Swansea University and Computer Science
Photo of Monika Seisenberger
Picture by Will Harwood
at CALCO-jnr


Dr Monika Seisenberger
Dept. of Computer Science
College of Science
Swansea University
Singleton Park
Swansea SA28PP, UK

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

Monika Seisenberger

PhD Munich, Senior Lecturer at Swansea University


Formal methods: Program extraction, Interactive Theorem Proving, Specification and Verification, Security. Logic: proof theory, infinitary combinatorics, in particular well- and better quasiorderings.

I am a member of Swansea's theory group Logic and Computation and of the Swansea Railway Verification Group. Since 2006, I co-organize the Proof, Complexity, Verification (PCV) Research Seminar and I am the Swansea site leader in the Wessex Theory Seminar, a Joint Seminar Series of Mathematics and Computer Science Departments, and Industrial Collaborators, broadly in the Wessex region.

Research Projects: PhD Students:
  • Andrew Lawrence (Program Extraction, Verification of Railway Control Systems)
  • Alison Jones (Proof theoretic methods in Natural Language Processing)
  • Sulaiman Al-Shekaili (Analyzing Organizational Networks, Cyberterrorism)

Conferences and workshops I am/was involved in:

Industrial Collaboration:


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

Administration/ 3rd Mission:

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