Kinšt Ondřej, Bc.
Malík Viktor, Ing.
Nečas František, Ing.
Peringer Petr, Dr. Ing.
Šoková Veronika, Ing.
Vojnar Tomáš, prof. Ing., Ph.D.
Medals from the International Competition in Software Verification SV-COMP 2024
The tools PredatorHP (P. Peringer, V. Sokova, T. Vojnar, O. Kinst) and 2LS (V. Malík, F. Necas, T. Vojnar; the tool is being primarily developed by DiffBlue) took part in the International Software Verification Competition SV-COMP'24 where they won one gold and one bronze medal.
Carasec Elena, Bc.
Prize of Zdena Rábová
Ondryáš Ondřej, Ing.
Prize of Zdena Rábová
Hečko Michal, Ing.
The Rector's Award
The Rector's Award for excellent study results.