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

Other interests

Rock climbing
Crosscountry skiing
Hiking
Cooking
Guitar