Dr Anton Setzer

Dr Anton Setzer

Reader, Computer Science

Telephone number

+44 (0) 1792 513368

Email address

Office - 403
Fourth Floor
Computational Foundry
Bay Campus
Available For Postgraduate Supervision


Dr Anton Setzer is a Reader in the Department of Computer Science, Swansea University.

Personal homepage: https://csetzer.github.io/

Areas Of Expertise

  • Interactive theorem proving
  • Type theory
  • Martin-Loef Type Theory
  • Coinduction
  • Proof theory
  • Dependently typed programming
  • Ordinals
  • Pattern matching