Home

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

  • Infinitary Proof Theory: Techniques and Applications, CMO Workshop Oaxaca, Mexico, August 10 – 15, 2025
  • 9th Women in Logic Workshop (affiliated with FSCD 2025), Birmingham, UK, July 14, 2025
  • Logic Colloquium 2025, TU Wien, Austria July 7 – 11th, 2025
  • Proof Representations: From Theory to Applications, BIRS Workshop Banff, Canada, June 1 – 6, 2025