Jędrzej Kołodziejski's
personal webpage

I am a PostDoc at TU Dortmund where I work with prof. Jean Christoph Jung. I am mostly interested in logic, with a special focus on:

  • expressive extensions of the Monadic Second Order Logic MSO, especially bisimulation-invariant
  • model theory for modal and coalgebraic logic
  • algebraic and game-theoretic approach to logic and automata