Research

I am a computer scientist working in logic, with a focus on proof theory. I am interested in structural proof theory, proof analysis and automated deduction.

Research projects

  • PANDAFOREST (Proof analysis and autom. deduction for recursive structures), running, funded by the FWF.
  • Globally Sound Proofs: New Frontiers of Analyticity, ended 2019, funded by a L’ORÉAL Austria PostDoc Fellowship of the Austrian Academy of Sciences.
  • Automated Proof Analysis with CERES, ended 2019, funded by a DOC Fellowship of the Austrian Academy of Sciences.

List of publications