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