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