Curriculum
Awards
- The Commemorative Medal of FIT BUT (The Bronze Medal) 2002
- Victory in one of the categories of the international software verification competition SV-COMP'12 2012
- Victory in three categories of the international software verification competition SV-COMP'13 2013
- Kurt Gödel Medal from the FLoC Olympic Games 2014
- Successful participation of the Predator and CPAlien tools in the international software verification competition SV-COMP'14 2014
- Medals from the International Competition in Software Verification SV-COMP 2020
- The Commemorative Medal of FIT BUT (The Silver Medal) 2023
- Medals from the International Competition in Software Verification SV-COMP 2024