Best Paper Award at KTTO 2014Best Paper Award at KTTO 2014 was rewarded to Dr. Petr Matoušek, Ing. Martin Kmeť and Bc. Martin Basel for their paper "On-line Monitoring of VoIP Quality Using IPFIX".
Mareček Matěj, Ing.
Jan Hlavička Award for Outstanding Results in PhD StudiesThe committee awarded Jan Hlavička Prize for outstanding results during PhD studies presented at seminar "Computer Architectures & Diagnostics" for PhD students, Malá Skála, 2014.
Prize of Dean
Prokopová Dagmar, Ing.
Sochor Jakub, Ing.
Prize of Zdena RábováPrize is awarded for excellent study and science results.
Successful participation of the Predator and CPAlien tools in the international software verification competition SV-COMP'14The Predator and CPAlien tools being developed by the VeriFIT group for automated analysis and verification of dealing with pointers and dynamic data structures participated in a successful way in the international software verification competition SV-COMP'14 associated with the prestigious conference TACAS'14. In particular, Predator won the silver medal in category Heap Manipulation and the bronze medal in category Memory Safety. Moreover, in these categories, it achieved the best result among tools with a sound treatment of dynamic memory. In addition, the new tool CPAlien scored 4th in the Memory Safety category.
The Commemorative Medal of BUT (The Silver Medal)The medal was awarded for development of university education.
The Rector's AwardThe Rector's Award for excellent results in Master study programme and scientific research.
The Rector's AwardThe Rector's Award for excellent study results.
The Rector's AwardThe Rector's Award for excellent scientific research.
Gajdušek Radek, Ing.
Kreslíková Jitka, doc. RNDr., CSc.