Životopis
Vzdělání a akademická kvalifikace
2010 - Ph.D., obor výpočetní technika a informatika, FIT, VUT v Brně
2003 - Ing., obor elektrotechnika a informatika, FIT, VUT v Brně
Vědeckovýzkumná činnost
- Testování softwaru
- Automatizace testů
- Formální analýza a verifikace