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!

Events, and recent and upcoming talks

  • Proof Representations: From Theory to Applications, Dagstuhl Seminar, August 18 – August 23, 2024.
  • Analytic Calculi for Macros of Connectives and Quantifiers. TU Wien Theory and Logic Group Seminar, Vienna, Austria, June 19, 2024.
  • Herbrand’s Theorem in Inductive Proofs. LPAR 2024, Mauritius, May 31, 2024.
  • On Proof Schemata and Primitive Recursive Arithmetic. LPAR 2024, Mauritius, May 31, 2024.