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:
- Logics of computation
- Proof theory of fixed-point logics
- Non-wellfounded proof theory
- Automata theory
- Game theory
- Algebras, co-algebras & duality
- Modal logic
sebastianenqvist.org 