Walter anton setzer biography sample

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 UKVisiting
Address:


Computational Foundry, Computer Science Department, 4th floor, room 403
ORCID: 0000-0001-5322-6060Conference Organisation/
Programme Committee
More
information:


Further information on A.

Setzer (research, other courses, links) can be found hereResearch 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: