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.Current events
- Conference on Techniques from Logic in Mathematics, Vienna, Austria, December 7, 2023
- 42ème Journées sur les Arithmétiques Faibles, Karlovassi, Greece, September 25-27, 2023
- 29th International Conference on Automated Deduction (CADE-29), Rome, Italy, July 1-4, 2023
- Logic Colloquium 2023, Milan, Italy, June 5-9, 2023
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: 2023-10-20, Stefan Hetzl