Welcome to my personal webpage!
I am currently employed as a senior lecturer at the Department of Philosophy at Stockholm University, Sweden. I am a logician with a wide interest in all aspects of the topic. Some current main areas of special interest are:
- Logic and computation
- Non-wellfounded proof theory
- Fixed-point logics
- Automata theory
- Game theory
- Co-algebras and co-induction
- Modal logic