Profile

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

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

Area of Experties

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

 


Projects

  • Blockchain technologies for pharmaceutical supply chains

    Blockchain technologies for pharmaceutical supply chains

    Project Overview Pharmaceutical supply chains involve complex characteristics and intricate data flow processes, including multiple stakeholders. These complexities give rise to numerous challenges concerning data integration and flow. This research proposes to address these challenges by combining two emerging technologies to suggest unique solutions. Based on the findings of our recent survey, it has been…

Specialist Areas

Events