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. 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.


Conferences and workshops I am/was involved in:

Industrial Collaboration:

PhD Students:
  • Andrew Lawrence
  • Alison Jones
  • Sulaiman Al-Shekaili
Research Projects:


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

Administration/ 3rd Mission: