Životopis

Vzdělání a akademická kvalifikace

2021: docent v oboru výpočetní technika a informatika, FIT VUT v Brně.

2011: Ph.D. v oboru výpočetní technika a informatika, FIT VUT v Brně.

2006: Mgr. v oboru informatika, Fakulta informatiky Masarykovy university v Brně.

Vědeckovýzkumná činnost

Formální metody, zejména komečné automaty a logiky, a jejich aplikace v automatickém usuzování, zejména v analýze a verifikaci systémů.