Funkce
Automata@FIT
člen pracovní skupiny
Členové komisí pro státní doktorské zkoušky
člen pracovní skupiny
Členové komisí pro SZZ na FIT
člen pracovní skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
člen