Stefan Hetzl
Institute of Discrete Mathematics and Geometry Vienna University of Technology Wiedner Hauptstraße 8-10 1040 Vienna, Austria email: stefan.hetzl AT tuwien.ac.at phone: +43 1 58801 104 21 room number: DA05L12 (green area, 5th floor) |
Research interests
I am interested in mathematical logic, proof theory, theories of arithmetic, automata theory, descriptional complexity, computational logic, automated and interactive theorem proving and neighbouring subjects. You can find a list of my publications on my research page.I am one of the organisers of our group's research seminar.
Current events
- 5th International Workshop on Automated (Co)inductive Theorem Proving, Nancy, France, July 2, 2024
- Workshop on Craig Interpolation and Beth Definability, Amsterdam, The Netherlands, April 22-23, 2024
- Conference on Techniques from Logic in Mathematics, Vienna, Austria, December 7, 2023
- 42ème Journées sur les Arithmétiques Faibles, Karlovassi, Greece, September 25-27, 2023
Last Change: 2024-03-15, Stefan Hetzl