Ž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ů.
Získaná ocenění
- The best paper award of CIAA'08 2008
- EATCS Award for Best ETAPS Paper 2010
- EASST Best paper award at ETAPS'2013
- Stříbrná medaile rektora VUT v Brně 2018
- Pamětní medaile FIT VUT v Brně (bronzová medaile) 2019
- The Best Paper award of CADE-27 2019
- Pamětní medaile FIT VUT (stříbrná medaile) 2022
- A Distinguished Paper Award at OOPSLA'23 2023
- The Best Paper award of FM'23 2023