Curriculum
Pedagogic activities
Awards
- Prize of Zdena Rábová 2009
- Master's Thesis of the Year 2010
- The Prize of Antonín Svoboda for the Best Dissertation Thesis of 2015 2016
- Best Paper award of CADE-27 2019
- A Distinguished Paper Award at OOPSLA'23 2023
- A Distinguished Paper Award at PLDI'23 2023
- The Best Paper award of FM'23 2023
- The Commemorative Medal of FIT BUT (The Bronze Medal) 2025