Sebastian Enqvist

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