Stefan Hetzl
Institute of Discrete Mathematics and Geometry Vienna University of Technology Wiedner Hauptstraße 810 1040 Vienna, Austria email: stefan.hetzl AT tuwien.ac.at phone: +43 1 58801 104 21 room number: DA05L12 (green area, 5th floor) 
I am interested in proof theory, formal language theory, automated deduction, interactive theorem proving and neighbouring subjects. You can find a list of my publications on my research page.
Research Projects
 WWTF Vienna Research Group: Structure and Expressivity
 Algorithmic Structuring and Compression of Proofs
Events
 Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, November 511, 2017
 Dale Fest, seminar in honour of the 60th birthday of Dale Miller, Paris, France, December 1516, 2016.
 The Third Workshop on Automated Inductive TheoremProving, Vienna, Austria, November 1718, 2016.
Former Affiliations

Parsifal Team
INRIA Saclay  ÎledeFrance / É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: 20180305, Stefan Hetzl 