Coronavirus Recovery: advice and latest information
Dr Monika Seisenberger

Dr Monika Seisenberger

Associate Professor, Computer Science

Telephone number

+44 (0) 1792 602131

Research Links

Available For Postgraduate Supervision

About

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