Stefan Hetzl

photo Institute of Discrete Mathematics and Geometry
Vienna University of Technology
Wiedner Hauptstraße 8-10
1040 Vienna, Austria
email: stefan.hetzl AT tuwien.ac.at
phone: +43 1 58801 104 21
room number: DA05L12 (green area, 5th floor)
logo WWTF logo TU
logo FWF

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

Events

Former Affiliations


Last Change: 2016-03-07, Stefan Hetzl Valid HTML 4.01!