Affiliation
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).