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

• 42ème Journées sur les Arithmétiques Faibles, Karlovassi, Greece, September 25-27, 2023
• 29th International Conference on Automated Deduction (CADE-29), Rome, Italy, July 1-4, 2023
• Logic Colloquium 2023, Milan, Italy, June 5-9, 2023

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
  

---