Stefan Hetzl

photo 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


Last Change: 2025-05-13, Stefan Hetzl