Životopis
Vzdělání
- 2016 - Doc.: Vysoké učení technické v Brně - Fakulta informačních technologií. Habilitační práce: Symbolic Representations of Dynamic Data Structures in Program Analysis
- 2007 - Ph.D: Vysoké učení technické v Brně - Fakulta informačních technologií. Disertační práce: Verification of Programs with Complex Data Structures
- 2003 - Mgr.: obor Informatika, Masarykova univerzita v Brně - Fakulta informatiky, specializace paralelní a distribuované systémy
Nástroje
Získaná ocenění
- CADE-24: Best Paper Award 2013
- Pamětní medaile FIT VUT v Brně (bronzová medaile) 2015
- Pamětní medaile FIT VUT v Brně (stříbrná medaile) 2019
Další zájmy
Horolezení
Tramping a hory
Lyžování
Vaření
Kytara