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, automated inductive theorem proving, theories of arithmetic, automata theory, descriptional complexity, interactive theorem proving, as well in computational logic in general and in 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
- Logic Colloquium 2025, Vienna, Austria, July 7-11, 2025
- 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28 - August 2, 2025
Last Change: 2025-05-13, Stefan Hetzl