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, 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.Current events
- International Joint Conference on Automated Reasoning (IJCAR), Paris, France, June 29 - July 6, 2020.
Former affiliations
-
Parsifal Team
INRIA Saclay - Île-de-France / École Polytechnique -
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot -
Theory and Logic Group, Institute of Computer Languages
Vienna University of Technology
Last Change: 2020-05-22, Stefan Hetzl