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 bakalářského studijního programu
č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