Funkce
Členové komisí pro státní doktorské zkoušky
člen pracovní skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
člen
Členové komisí pro SZZ na FIT
člen pracovní skupiny