Jędrzej Kołodziejski's
personal webpage

I am a PhD student at the Faculty of Matematics, Informatics and Mechanics (MIM), at the University of Warsaw - under supervision of prof. Mikołaj Bojańczyk. 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