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
- Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination, Lisbon, Portugal, July 24-25, 2026
- Gothenburg Cyclothon, Gothenburg, Sweden, September 24-26, 2025
Last Change: 2026-01-19, Stefan Hetzl