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
- 4th International Workshop on Proof Theory, Utrecht, The Netherlands, November 11 - November 12, 2022.
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: 2022-06-28, Stefan Hetzl