Zajmuję się dziedziną teorii automatów, która należy do informatyki teoretycznej. W przeciągu ostatnich 5-10 szczególnie skupiłem się na dziedzinie systemów nieskończenie-stanowych, które mówiąc w skrócie są modelami programów, które mają nieskończenie wiele możliwych stanów. Przykłady to automat ze stosem, czy automat z licznikami. Typowo rozważam dla takich automatów problem osiągalności, ale również interesuję się problemami separowalności, równoważności, czy wyrażalności dla systemów nieskończenie stanowych. Najwięcej moich badań skupia się na automatach z licznikami nieujemnymi, które inaczej nazywane są VASSami (z ang. Vector Addition Systems with States) lub prawie równoważnie sieciami Petriego. Staram się rozważać problemy, które są zdefiniowane naturalnie i prosto, a jednocześnie są trudnymi wyzwaniami i bywają nieraz nierozwiązane przez wiele lat.

I work in automata theory, which is a branch of theoretical computer science. In last 5-10 years I focused on infinite-state systems, which are, briefly speaking, models of programs with infinitely many possible states. Standard examples are automaton with a stack or with counter. Typically I consider the reachability problem for such automata, but I'm also interested in the separability problem, equivalence problem or expressivity of various infinite-state systems. The most of my investigations focus on automata with counters, which are called VASS (Vector Addition Systems with States) lub almost equivalently Petri Nets. I try to consider problems, which are natural and easy to define, but are hard challenges and are often open since many years.

Grant ERC Starting: "Trudne problemy w systemach nieskończenie-stanowych", od III 2021 do III 2026.

Grant ERC Starting: "Challenging problems in infinite-state systems" since III 2021 till III 2026.