Funkce
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
Vedoucí
Členové komisí pro SZZ na FIT
předseda
Hodnoticí oborový panel
člen
Oborová rada doktorských studijních programů FIT
člen
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