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
- Proof Representations: From Theory to Applications, BIRS Canada, June 1 – 6, 2025
- Women in Logic Workshop, TBA
- Logic Colloquium 2025, TU Wien, Austria July 7 – 11th, 2025