Welcome to my personal webpage!
I am currently employed as a senior lecturer at the Department of Philosophy at Stockholm University, Sweden. I see myself mainly as a logician with a general interest in the topic. Much of my current research focuses on areas of logic related to theoretical computer science. Some areas of special interest are:
- Modal logic
- Logics of programs, temporal & dynamic logics
- Modal μ-calculus
- Automata theory
- Algebras, co-algebras & duality
- Game theory