Dr Monika Seisenberger
Associate Professor
Computer Science
Telephone: (01792) 602131
Email: JavaScript is required to view this email address.
Room: Office - 304
Third Floor
Faraday Building (Tower Block)
Singleton Campus

Specialist areas: Formal methods: Program extraction, interactive theorem proving, specification and verification. Logic: proof theory, infinitary combinatorics, in particular well- and better quasiorderings.

Areas of Expertise

  • Formal Methods
  • Program extraction
  • Interactive theorem proving
  • Specification and Verification
  • Logic
  • Proof theory
  • Well- and better quasiorderings


  1. & Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming
  2. & Higman’s Lemma and Its Computational Content. In Advances in Proof Theory. (pp. 353-375).
  3. & Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. In Formal Techniques for Safety-Critical Systems. Springer.
  4. & Program extraction applied to monadic parsing. Journal of Logic and Computation, exv078
  5. & Extracting verified decision procedures: DPLL and Resolution. Logical Methods in Computer Science 11(1)

See more...


  • CS-081 Computational Problem Solving

    This module is a continuation of the module CSC061: Introduction to Programming. In it, students will continue to enhance their skills in programming, as well as gain a basic understanding of algorithms and data structures.

  • CS-205 Declarative Programming

    This module provides an introduction to the functional and logic programming paradigms and gives students the opportunity to gain practical experience in using both.


  • 'Centrality Metrics Detection of Terrorist Networks.' (current)

    Student name:
    Other supervisor: Dr Daniel Archambault
  • '''Application of Proof-theoretic Methods to Natural Language Processing''' (current)

    Student name:
    Other supervisor: Dr Anton Setzer
    Other supervisor: Dr Ulrich Berger
  • From Natural Language Proofs to Correct Programs. (current)

    Student name:
    Other supervisor: Dr Ulrich Berger