I am Project Leader at the Kurt Gödel Society, where I am the PI of the FWF project I 5848.
I am also affiliated with the Institute of Logic and Computation at the TU 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!