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
- 2022 Workshop on Proof Theory, November 11-12, 2022, Utrecht, Netherlands.
- IJCAI-ECAI 2022, July 23-29, 2022, Vienna, Austria.