Kurt Gödel Society
Institute of Logic and Computation
Technische Universität Wien, 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!