Dr Monika Seisenberger

Dr Monika Seisenberger

Associate Professor, Computer Science

Telephone number

+44 (0) 1792 602131
Office - 405
Fourth Floor
Computational Foundry
Bay Campus
Available For Postgraduate Supervision


Monika Seisenberger is an Associate Professor in the Department of Computer Science, Swansea University.

Areas Of Expertise

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