Stefan Hetzl Assistant Professor at the Institute of Discrete Mathematics and Geometry Homepage Publications Research Interestsproof theory, formal language theory, automated deduction, interactive theorem proving