Stefan Hetzl

Research interests

I am interested in mathematical logic, proof theory, automata theory, descriptional complexity, computational logic, automated and interactive theorem proving and neighbouring subjects. You can find a list of my publications on my research page.

Current events

• International Joint Conference on Automated Reasoning (IJCAR), Paris, France, June 29 - July 6, 2020.

Former affiliations

• Parsifal Team
  INRIA Saclay - Île-de-France / École Polytechnique
• Laboratoire Preuves, Programmes et Systèmes
  Université Paris Diderot
• Theory and Logic Group, Institute of Computer Languages
  Vienna University of Technology
  

---