Welcome to my webpage

Postdoc at MIMUW, University of Warsaw
Automata Theory group
Under Michał Pilipczuk


I studied theoretical computer science and mathematics at École Normale Supérieure de Lyon. From September 2018 to October 2021, I have been working on my PhD at IRIF in Paris, under the supervision of Nathanaël Fijalkow and Olivier Serre. From January 2022, I am a postdoc under Michał Pilipczuk at at MIMUW, University of Warsaw. For more details, please see my resume (last updated Jan 2022).



I am currently working primarily on fixed-parameter tractability of the model-checking problem for first-order logic. In my thesis, I have mostly been working on efficiently solving (in theory) parity and mean payoff games. I have also studied problems related to stochastic transition systems (such as Markov Decision Processes or Probabilistic Automata), and have also done some work in algebraic circuit complexity theory, and dynamical systems for verification. My interests range over most of theoretical computer science, and related mathematical theories.





Some recent slides

These are to be openned in a browser
Location E-mail
MIMUW, office 3382
Stefana Banacha 2
02-097 Warsaw