I am a PhD student at the group for Theoretical Computer Science at the University of Birmingham. I started my PhD in autumn of 2024 under the supervision of Sonia Marin and Anupam Das. My research interests are in proof theory of modal logic, more specifically I am interested how modal provability logic and intuitionistic modalities can be handled proof-theoretically. Beyond that, I am also interested in effective proof translations, deep inference and some universal proof theory.

Before my doctoral studies, I obtained my Master of Logic degree at the Institute for Logic Language and Computation (ILLC) in Amsterdam. There, I wrote my thesis under the supervision of Marianna Grirlando on proof translations for intuitionistic modal logic.

I started my journey in logic during my bachelor's in philosophy and physics at Ruhr-University Bochum. There, I have written my thesis on first-order modal logic and modal realism under the supervision of Heinrich Wansing.