Dr Monika Seisenberger
Associate Professor
Computer Science
Telephone: (01792) 602131
Email: JavaScript is required to view this email address.

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. Seisenberger, M, Berger, U Proofs, Programs, ProcessesTheory of Computing Systems513313329
  2. Berger, U, Seisenberger, M, Roggenbach, M, James, P Verification of the European Rail Traffic Management System in Real-Time MaudeScience of Computer Programming
  3. Seisenberger, M A Chatbot Framework for the Children’s Legal CentreFrontiers in Artificial Intelligence and Applications205209
  4. Seisenberger, M, Berger, U Proofs, Programs, ProcessesLecture Notes In Computer Science61583948
  5. Seisenberger, M Proof theory at work: Program development in the Minlog system(Ed.),Automated Deduction - A Basis for Applications4171DordrechtKluwer

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
  • Synthesis of Solving Procedures (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