Životopis
Přehled zaměstnání
-
01.01.1989 - 31.12.2005
VUT v Brně
odborný asistent
Získaná ocenění
- Pamětní medaile FIT VUT v Brně (bronzová medaile) 2002
- Vítězství v jedné z kategorií mezinárodní soutěže ve verifikaci programů SV-COMP'12 2012
- Vítězství ve třech kategoriích mezinárodní soutěže ve verifikaci programů SV-COMP'13 2013
- Medaile Kurta Gödela získaná na FLoC Olympic Games 2014
- Úspěšná účast nástrojů Predator a CPAlien v mezinárodní soutěži ve verifikaci programů SV-COMP'14 2014
- Medaile z mezinárodní soutěže ve verifikaci software SV-COMP 2020
- Pamětní medaile FIT VUT (stříbrná medaile) 2023
- Medaile z mezinárodní soutěže ve verifikaci software SV-COMP 2024