I am an assistant professor (adiunkt) at MIMUW in Warsaw. I am mostly interested in logic, with a special focus on:

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