About me

I am a fourth year PhD candidate at the Department of Mathematics at Ghent University, supervised by Thomas Studer, David Fernández-Duque  and Andreas Weiermann . I am also a member of the Logic and Theory Group at the University of Bern, and of the Intuitionistic Temporal Logic project.

My research is in mathematical logic, where I work on the proof and model theory for intuitionistic modal fixed point logics. I also work in structural proof theory for cyclic and non-wellfounded proofs and on epistemic logic.

I obtained a master's degree in logic from the University of Amsterdam and a bachelor's degree in mathematics from the University of Bern. In 2023, I was awarded the Paul Bernays award.