Dr Anton Setzer

Dr Anton Setzer

Reader, Computer Science

Telephone number

+44 (0) 1792 513368

Email address

Research Links

Available For Postgraduate Supervision

About

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

Areas Of Expertise

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