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:

    • Examination officer (examination papers), 2004-July 2011
    • Disability/Special Needs officer for the department of Computer Science, Disability link tutor for the School of Physical Sciences, 2004- July 2011
    • Organiser of Student Enrolment, 2006- July 2011
    • Head of Foundation Year, 2008- July 2011
    • Member of the Special Circumstances Committee and the Learning and Teaching Committee, 2005-July 2011

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