I did my PhD at the philosophy department at Lund University, under the supervision of Prof. Erik J. Olsson. After that I was a post doc at the ILLC, Amsterdam University. I am currently working at Stockholm University, with the project “Completeness and complexity of modal fixpoint logics”, funded by the Swedish Research Council.
Supervision
- Co-supervisor of Sander in t’Veld, Master of Logic at the ILLC, University of Amsterdam, 2016. Thesis: Temporal logics, automata and the modal μ-calculus. Main supervisor: Yde Venema.
- Co-supervisor of Olim Tuyt, Master of Logic at the ILLC, University of Amsterdam, 2016. Thesis: Canonical rules on neighborhood frames. Main supervisor: Nick Bezhanishvili.
- Main supervisor of Kristoffer Kalavainen, bachelor at the Mathematics department at Stockholm University, 2017. Thesis: A coalgebraic approach to modal logic.
I am currently the co-supervisor of Fatemeh Seifan, who is a PhD student at the ILLC, University of Amsterdam. The main supervisor is Yde Venema.