Sebastian Enqvist

Welcome to my personal webpage!

I am employed as a research fellow at the Department of Philosophy at Stockholm University, Sweden. With a formal background in philosophy, I see myself mainly as a logician with a general interest in the topic. Much of my current research focuses on areas of logic related to theoretical computer science. Some areas of special interest are:

  • Modal logic
  • Logics for program verification, temporal & dynamic logics
  • Modal μ-calculus
  • Automata theory
  • Algebras, co-algebras & duality
  • Game theory