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:

  • Logic and computation
  • Non-wellfounded proof theory
  • Fixed-point logics
  • Automata theory
  • Game theory
  • Co-algebras and co-induction
  • Modal logic