
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
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…