Home

Affiliation

Institute of Logic and Computation,
Theory and Logic,
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 feel free to contact me!

Recent and upcoming events and talks

  • The 10th Women in Logic workshop will take place in Lisbon, July 24-25, 2025 (affiliated with FLoC)! More details here.