Kurt Gödel Society
Institute of Logic and Computation
Technische Universität Wien, Austria

Research interests

My research focuses on (computational) proof theory and automated deduction. I am particularly interested in applications of logic in computer science.

If you are interested in student projects (especially within the Pandaforest project) feel free to contact me!

Recent and upcoming events

  • Research Visit at Université de Montpellier, March 11-15 2023, Montpellier, France (Christian Retoré, LIRMM).
  • Project Meeting in Prague, March 5-10, 2023, Prague, Czech Republic (David Cerna, Czech Academy of Sciences, Institute of Computer Science).