research fields
- concurrency theory
- automata theory
- verification:
equivalence-checking, model-checking
- systems biology
phd students
conferences
- Nominal sets meet automata theory • organizer
- Algorithmics on Infinite State Systems
AISS 2012 • invited speaker
- 4th Workshop on Reachability Problems RP'10 • PC member
- 18th International Conference on Intelligent Information Systems
IIS'10 • PC member
- 16th International Workshop on Expressiveness in Concurrency
Express'09 • PC member
current projects
- New models of automata, Polish Ministry of Science grant nr N N206 567840
• coordinator
- Foundations of XML - FOX,
a networking programme funded by the European Research Consortium,
grant agreement number FP7-ICT-233599 • participant
- Modelowanie matematyczne i analiza algorytmiczna molekularnych szlaków sygnałowych,
Polish government grant nr N N206 356036 • coordinator
- European Science Foundation project Games for Design and Verification
GAMES • participant
some past projects
- Zaawansowane problemy teorii automatów,
Polish government grant nr N206 008 32/0810 • participant
- EU-FET-IP Software Engineering for Service-Oriented Overlay Computers
SENSORIA • participant
- Identification and anlysis of transposable sequences in plant genomes,
Polish goverment grant nr N301 036 31/1203 • participant
- European Community RTN Games and Automata for Synthesis and Validation
GAMES • participant
- Architectures for Mobility
AGILE • participant
- Weryfikacja i zapytania dotyczące struktur z danymi, Polonium project • participant