Dr Monika Seisenberger
Associate Professor
Computer Science
Telephone: (01792) 602131
Email: JavaScript is required to view this email address.
Room: Office - 405
Fourth Floor
Computational Foundry
Bay 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. & (2018). A Chatbot Framework for the Children’s Legal Centre. Presented at Frontiers in Artificial Intelligence and Applications,, 205-209. doi:10.3233/978-1-61499-935-5-205
  2. & Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming
  3. & Higman’s Lemma and Its Computational Content. In Advances in Proof Theory. (pp. 353-375).
  4. & Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. In Formal Techniques for Safety-Critical Systems. Springer.
  5. & Program extraction applied to monadic parsing. Journal of Logic and Computation, exv078

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.


  • Enhanced realizability interpretation for extracting correct programs. (current)

    Student name:
    Other supervisor: Dr Ulrich Berger
  • Formal Testing of ERTMS Level 2 (current)

    Student name:
    Other supervisor: Prof Markus Roggenbach
  • Automated Program Synthesis (current)

    Student name:
    Other supervisor: Dr Oliver Kullmann
  • Trustable Machine Learning Systems with Formal Methods (current)

    Student name:
    Other supervisor: Prof Jane Williams
  • 'Centrality Metrics Detection of Terrorist Networks.' (awarded 2018)

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

    Student name:
    Other supervisor: Dr Anton Setzer
    Other supervisor: Dr Ulrich Berger