Hi there, welcome to my webpage!

I am a PhD student in the Theory of Computation group at the Department of Computer Science at the University of Birmingham, supervised by Sonia Marin and Anupam Das.

My main interests are in Proof Theory for Modal Logic. This includes the study of modal provability logics and intuitionistic logics, as well as the investigation of effective proof translations.

Before my doctoral studies, I did my Master's degree in Logic at the ILLC at the University of Amsterdam. I have written my Master of Logic thesis under the supervision of Marianna Girlando on “Proof Translations for Intuitionistic Modal Logic”. Before that, I did my Bachelor studies in Philosophy and Physics at the Ruhr-University Bochum, where I wrote my thesis on (first-order) Modal Realism under the supervision of Heinrich Wansing.