Publications

• Interpolation for Converse PDL   Best student paper
  joint work with Valentina Trucco Dalmas and Yde Venema
  Proceedings of TABLEAUX 2025 (doi,arxiv,pdf)

• An abstract fixed-point theorem for Horn formula equations
  joint work with Stefan Hetzl
  ACM Transactions on Computational Logic, 2025 (doi,arxiv,pdf)

• Interpolation for the two-way modal µ-calculus
  joint work with Yde Venema
  Proceedings of LICS 2025 (doi,arxiv,pdf)

• 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)

Theses

• Cycles with Annotations: Non-Wellfounded Proof Theory of Modal Fixpoint Logics
  PhD thesis, ILLC, University of Amsterdam, 2026
  supervised by Yde Venema and Bahareh Afshari (pdf)

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

Preprints

• Cut-elimination for the alternation-free modal mu-calculus
  joint work with Bahareh Afshari
  submitted (arxiv,pdf)

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

Talks

• Interpolation for the two-way modal μ-calculus
  Proof Theory Workshop 2025, Ghent (slides)

• Interpolation for the two-way modal μ-calculus
  LICS 2025, Singapore (slides)

• 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)