I am a PhD student at the Faculty of Matematics, Informatics and Mechanics (MIM), at the University of Warsaw - under supervision of prof. Bartek Klin. 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