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
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

Last Change: 2024-03-15, Stefan Hetzl