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