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 (especially within the Pandaforest project) feel free to contact me!

Recent and upcoming events and talks

• I will give a talk at ICTAC 2025 on our paper Efficient interpolation beyond cut-free proofs: Admissible cuts and optimized extraction in Marrakech, Nov. 24-28, 2025
• I will give a talk at our Theory and Logic group seminar on Interpolation Properties of Proofs with Cuts on Nov. 19, 2025
• Research visit and Gothenburg Cyclothon in Gothenburg (Bahareh Afshari and Graham Leigh), Sweden, September 22 – 24, 2025