I am a postdoctoral researcher in the Computational Logic Group at the Institute of Artificial Intelligence at Technische Universität Dresden. My current research primarily focuses on the development and application of proof-theoretic methods to study properties of modal/temporal logics, non-classical logics, and description logics.
From November 2020 to March 2025, I worked with Prof. Sebastian Rudolph at Technische Universität Dresden on the ERC project DeciGUT, which focused on identifying general conditions for the decidability of logics used in knowledge representation. Previously, I worked on the TICAMORE (Translating and Discovering Calculi for Modal and Related Logics) project as a PhD student under the supervision of Prof. Agata Ciabattoni at Technische Universität Wien. Our work focused on proof transformation techniques and designing (automated) methods of proof system construction. My PhD thesis, titled Refining Labelled Systems for Modal and Constructive Logics with Applications, can be found here.
The article Decidability of Querying First-Order Theories via Counter-Models of Finite Width was accepted to the Logical Methods in Computer Science. The paper can be found here.
The article Internal and External Calculi: Ordering the Jungle without Being Lost in Translations was accepted to the Bulletin of the Section of Logic. The pre-print can be found here.
The article On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic was accepted to the FSEN 2025. The pre-print can be found here.
The article Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations was accepted to the CSL 2025. The pre-print can be found here.
The article Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents was accepted to the CSL 2025. The pre-print can be found here.
The article Proof Theory and Decision Procedures for Deontic STIT Logics was accepted to the Journal of Artificial Intelligence Research. The pre-print can be found here.
The article Decidability of Quasi-Dense Modal Logics was accepted to LICS 2024. The pre-print can be found here and published version here.