Stefan Hetzl

Assistant Professor at the Institute of Discrete Mathematics and Geometry

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