Curriculum
Awards
- The best paper award of CIAA'08 2008
- EATCS Award for Best ETAPS Paper 2010
- EASST Best paper award at ETAPS'2013
- Silver Medal of the Rector's Award 2018
- Best Paper award of CADE-27 2019
- The Commemorative Medal of FIT BUT (The Bronze Medal) 2019
- The Commemorative Medal of FIT BUT (The Silver Medal) 2022
- A Distinguished Paper Award at OOPSLA'23 2023
- The Best Paper award of FM'23 2023