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

Publications

  1. Morgan, J., Paiement, A., Williams, J., Wyner, A., Seisenberger, M. A Chatbot Framework for the Children’s Legal Centre Frontiers in Artificial Intelligence and Applications 205 209
  2. Schwichtenberg, H., Seisenberger, M., Wiesnet, F. Higman’s Lemma and Its Computational Content (Ed.), Advances in Proof Theory 353 375
  3. James, P., Lawrence, A., Roggenbach, M., Seisenberger, M. Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude (Ed.), Formal Techniques for Safety-Critical Systems Springer
  4. Berger, U., Jones, A., Seisenberger, M. Program extraction applied to monadic parsing Journal of Logic and Computation exv078
  5. Berger, U., Lawrence, A., Nordvall Forsberg, F., Seisenberger, M. 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:
    MRes
    Other supervisor: Dr Arno Pauly
  • Formal Testing of ERTMS Level 2 (current)

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

    Student name:
    PhD
    Other supervisor: Dr Ulrich Berger
  • Trustable Machine Learning Systems with Formal Methods (current)

    Student name:
    PhD
    Other supervisor: Prof Jane Williams
  • Synthesis of Solving Procedures (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