Funkce
Legislativní komise AS FIT
předseda
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
Komora akademických pracovníků AS FIT
člen
Školitelé specialisté doktorského studijního programu na FIT
člen pracovní skupiny
Volební komise AS FIT pro volby do AS VUT
člen
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
člen