Official Homepage |
https://www.swansea.ac.uk/staff/a.g.setzer/ |
Administrative duties: |
|
Coordinator MSc in Advanced Computer Science and MSc in Advanced
Software Technology
|
|
Misc: |
|
|
Contact
|
Tel. : |
International: |
+44 1792 513368 |
National: |
01792 513368 |
|
Fax: |
International: |
+44 1792 295708 |
National: |
(01792) 295708 |
|
Email: |
|
Address: |
Dr. Anton Setzer,
Dept. of
Computer Science,
Computational Foundry,
Swansea University Bay Campus,
Fabian Way, Swansea, SA1 8EN UK |
Visiting Address:
|
Computational Foundry,
Computer Science Department, 4th floor, room 403
|
ORCID: |
0000-0001-5322-6060
|
Conference Organisation/
Programme Committee
|
|
|
More information:
|
Further information on A. Setzer
(research, other courses, links) can be found here |
Research Areas:
|
Proof Theory, esp. of Martin-Löf Type Theory,
Programming with Dependent Types, esp. Interaction and Induction-Recursion.
More on A. Setzer's Research
Chair person of the
Swansea subsite of the TYPES project
EPSRC Grant EP/G033374/1: Theory and Applications of Induction Recursion
EPSRC Grant GR/S30450/01: Extension of Dependent Type Theory - Induction, Interaction, Universes
|
Talks given:
|
|
Lecture notes
|
|
Articles from PhD students and RAs
|
|
Rare Articles
|
|
|
Back
to academic staff at the Dep. of Computer Science
|