I am a research associate at the Max Planck Institute for Software Systems working with Joël Ouaknine. Before this, I was working with Mikołaj Bojańczyk in Warsaw.

I did my PhD under the supervision of Hugo Gimbert and François Dufour in LaBRI, Bordeaux.

My interests are: games, automata, logics in computer science, dynamical systems


(2021). Deciding ω-Regular Properties on Linear Recurrence Sequences. In POPL.

PDF arxiv

(2020). Invariants for Continuous Linear Dynamical Systems. In ICALP.


(2020). Extensions of ω-Regular Languages. In LICS.


(2019). MSO+∇ is undecidable. In LICS.

PDF arxiv

(2018). Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. In CAV (and Information and Computation (2022)).

PDF arxiv

(2017). Emptiness of Zero Automata Is Decidable. In ICALP.

PDF arxiv

(2017). Stamina: Stabilisation Monoids in Automata Theory. In CIAA.


(2015). Deciding the value 1 problem for probabilistic leaktight automata. In LMCS.

PDF arxiv

Recent Posts

Adding Sets to MSO

Report on a thoerem by Semenov