research

topics: concurrency theory, automata theory, verification (equivalence-checking, model-checking), computational biology

workshop Nominal sets meet automata theory

teaching (in Polish)

lecture Decision problems for infinite-state systems (2011/12) NEW!

Masters seminar Reliability of concurrent and object-oriented systems (in Polish)

lecture Computer aided verification (2010/11)

proposals of Masters thesis topics (2010) (in Polish)