Anton Setzer received the Ph.D. degree in mathematics from Institute of Mathematics, Ludwig-Maximilians University of Munich (LMU), Munich, Germany, in 1993, and the M.S. degree from Institute for Mathematics, LMU in 1990. Since 2007 Setzer serves as Reader and since 2000 as a Lecturer at Department of Computer Science, Swansea University, Swansea, UK. Setzer's research expertise includes mathematical Logic, especially proof theory, Martin-Löf type theory, programming with dependent types, interactive programs, coalgebras, and object-oriented programming.
Biography Updated on 17 September 2012