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
Rada magisterského studijního programu Informační technologie a umělá inteligence
člen
Školitelé doktorského studijního programu na FIT
člen pracovní skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
člen