معرفی
Dr Anton Setzer is a Reader in the Department of Computer Science at Swansea University, part of the School of Mathematics and Computer Science. His research focuses on foundational aspects of type theory, interactive theorem proving, and formal verification, with particular emphasis on dependently typed programming and blockchain technologies. He is affiliated with the Computational Foundry at Bay Campus and supervises PhD students in critical domains like smart contracts and cybersecurity.
Research Interests: Setzer’s work spans type theory (especially Martin-Löf variants), coinduction, proof theory, and their applications in dependently typed systems. His recent projects include formal verification of smart contracts (Solidity, Bitcoin Script) using Agda and exploring blockchain-enabled coordination protocols for UAVs. He also investigates foundational topics like predicative Mahlo universes in type theory.
Academic Contributions: Setzer has pioneered techniques for integrating automated and interactive theorem proving, developed formal semantics for CSP processes in Agda, and contributed to coalgebraic type theory. His work on inductive-inductive definitions and copatterns has advanced functional programming methodologies.
Supervision & Collaboration: Current PhD topics include SMT solving for railway systems, secure UAV coordination, and pharmaceutical supply chain technologies. He collaborates with Prof Arnold Beckmann on blockchain verification and Monika Seisenberger on railway safety systems. His teaching includes critical systems design (CSCM13) and blockchain technology (CSCM29).
