dr hab. Wojciech Czerwiński profesor uczelni

Wydział Matematyki, Informatyki i Mechaniki


Dyscyplina naukowa:

informatyka

Zainteresowania badawcze:

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.

description of research interests:

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.

Realizowane projekty:

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

research projects implemented:

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

USOSweb

Słowa kluczowe:

automaty z licznikami, sieci Petriego, VASSy, problem osiągalności, problem separowalności, systemy jednoznaczne

Słowa kluczowe:

automata with counters, Petri nets, vector addition systems, reachability problem, separability problem, unambiguous systems

Kontakt:

pokaż


« Wstecz