Welcome to my personal webpage!
I am a senior lecturer and docent at the Department of Philosophy at Stockholm University, Sweden. I am a logician with a wide interest in the philosophical, computational and mathematical aspects of logic. Some main areas of special interest are:
- Computational logic
- Proof theory
- Fixed-point logics
- Automata theory
- Modal logic
- Game theory
- Co-algebras
- Philosophy of logic and mathematics