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

Publications

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

Teaching

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

Supervision

  • Untitled (current)

    Student name:
    PhD
    Other supervisor: Prof Jane Williams
  • Enhanced realizability interpretation for extracting correct programs. (current)

    Student name:
    PhD
    Other supervisor: Dr Ulrich Berger
  • Untitled (current)

    Student name:
    PhD
    Other supervisor: Dr Oliver Kullmann
  • 'Centrality Metrics Detection of Terrorist Networks.' (awarded 2018)

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

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