Funkce
Členové komisí pro SZZ na FIT
člen pracovní skupiny
Komora akademických pracovníků AS FIT
člen
Legislativní komise AS FIT
člen
Výzkumná skupina formálních modelů
Výzkumník