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 areas of special interest are:
- Logics of fixpoints, inductive and co-inductive definitions
- Computational content of proofs
- Non-wellfounded proofs
- Co-algebras
- Automata theory
- Modal logic
- Game theory
- Philosophy of logic and mathematics
sebastianenqvist.org 