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
- Lean Tutorial, Vienna, Austria, September 18-20, 2024
- 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
Last Change: 2024-08-01, Stefan Hetzl