Curriculum
Education
- 2016 - Habilitation: Faculty of Information Technology, Brno University of Technology. Habilitation thesis: Symbolic Representations of Dynamic Data Structures in Program Analysis
- 2007 - Ph.D: Faculty of Information Technology, Brno University of Technology. Ph.D. thesis: Verification of Programs with Complex Data Structures
- 2003 - Mgr. (M.Sc.): Faculty of Informatics, Masaryk University Brno
Tools
- ARTMC - a prototype implementation of our technique for verification of programs with dynamic data structures
- Forester - Tool for Verification of Programs with Pointers
- Slide - Automata-based entailment checking for Separation Logic with Inductive Definitions
- INCLUDER - a prototype tool for trace inclusion checking on data word automata
Awards
- CADE-24: Best Paper Award 2013
- The Commemorative Medal of FIT BUT (The Bronze Medal) 2015
- The Commemorative Medal of FIT BUT (The Silver Medal) 2019
Other interests
Rock climbing
Hiking
Skiing
Cooking
Guitar