Publications

• Interpolation for the two-way modal µ-calculus
  joint work with Yde Venema
  accepted at LICS 2025 (to appear)

• Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
  joint work with Bahareh Afshari
  Proceedings of FICS 2024 (arxiv,pdf)

• Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata
  joint work with Maurice Dekker, Johannes Marti and Yde Venema
  Proceedings of TABLEAUX 2023 (doi,arxiv,pdf)

• A Fixed-point Theorem for Horn Formula Equations
  joint work with Stefan Hetzl
  Proceedings of HCVS 2021 (doi,pdf)

Preprints

• A note on the incompleteness of Afshari & Leigh’s system Clo
  Preprint (arxiv,pdf)

Theses

• A fixed-point theorem for Horn formula equations
  Master’s thesis, TU Wien, 2020
  supervised by Stefan Hetzl (doi,pdf)

Talks

• Cut elimination for Cyclic Proofs: A case study in temporal logic
  FICS 2024, Napoli (slides)

• Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata
  TABLEAUX 2023, Prague (slides)

• Cut Elimination in Cyclic Proofs for Temporal Logic
  Workshop organized at the occassion of Dominik Wehr’s Licensiate, Gothenburg, 2023 (slides)

• Proofs by automata
  Research Seminar in Logic, Gothenburg, 2023 (slides)

• A proof system for the modal µ-calculus inspired by the determinisation of automata
  Computational Logic Seminar, TU Vienna, 2023 (slides)

• A proof system for the modal µ-calculus inspired by the determinisation of automata
  Proof Theory Workshop 2022, Utrecht (slides)

• A fixed-point theorem for Horn formula equations
  Algebra|Coalgebra Seminar ILLC, 2021 (slides)

• A fixed-point theorem for Horn formula equations
  Proof Theory Workshop 2021, Madeira (slides)