Affiliation
Institute of Logic and Computation,
TU Wien
Favoritenstrasse 9-11, E192-05,
1040 Vienna, 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!
Events, and recent and upcoming talks
- 9th Women in Logic Workshop (affiliated with FSCD 2025), Birmingham, UK, July 14, 2025
- Logic Colloquium 2025, TU Wien, Austria, July 7 – 11, 2025
- Kurt Gödel Birthday Colloquium, TU Wien, Austria, April 28, 2025