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
- Gothenburg Cyclothon, Gothenburg, Sweden, September 24-26, 2025
- 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28 - August 2, 2025
- Logic Colloquium 2025, Vienna, Austria, July 7-11, 2025
Last Change: 2025-08-04, Stefan Hetzl