Stefan Hetzl

Stefan Hetzl is an Associate Professor at Vienna University of Technology (TU Wien), affiliated with the School of Informatics and the Institute of Computer Science. His research focuses on computational logic, proof theory, and formal languages, with a particular emphasis on automated and interactive theorem proving. He contributes to the development of the GAPT system for proof analysis and participates in projects like the Automated Analysis of Mathematical Proofs funded by the Austrian Science Fund (FWF).

• Interactive Theorem Proving
• Automated Theorem Proving
• Proof Theory
• Theory of Formal Languages

Hetzl has supervised multiple academic theses, including Diploma Theses on topics such as open induction, finite languages, and cyclic superposition. His publications span areas like cut-elimination, Herbrand sequents, and higher-order logic, reflecting a deep engagement with structural invariance and algorithmic transformations in formal proofs. While no explicit awards are listed, his work contributes significantly to the theoretical foundations of computer science and mathematical logic.