Stefan Hetzl

Assistant Professor at the Institute of Discrete Mathematics and Geometry

Homepage
Publications

Research Interests
proof theory, formal language theory, automated deduction, interactive theorem proving