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