Havlena Vojtěch, Ing., Ph.D.
Holík Lukáš, doc. Mgr., Ph.D.
Chocholatý David, Ing.
Lengál Ondřej, Ing., Ph.D.
Síč Juraj, Mgr.
A Distinguished Paper Award at OOPSLA'23
The paper "Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč. Solving String Constraints with Lengths by Stabilization." received a Distinguished Paper Award at OOPSLA'23, a flagship conference in the area of programming languages.
A Distinguished Paper Award at PLDI'23
The paper "Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits." received a Distinguished Paper Award at PLDI'23, a flagship conference in the area of programming languages.
Chancellor's award for excellent book publications
Chancellor´s award for excellent book publications
Svobodová Lucie, Bc.
Prize of Zdena Rábová
Klhůfek Jan, Ing.
Prize of Zdena Rábová
Šmahlíková Barbora, Ing.
The Award of the Czech Government for a Gifted Student 2022
The Award of the Czech Goverment is awared to a high school or university student who has shown an exceptional talent and interest in research or scientific work. Barbora Šmahlíková is the first recipient in the history of this award, which was for her contribution towards the development of algorithms for complementation of the so-called omega automata.
Havlena Vojtěch, Ing., Ph.D.
Holík Lukáš, doc. Mgr., Ph.D.
Chocholatý David, Ing.
Lengál Ondřej, Ing., Ph.D.
Síč Juraj, Mgr.
The Best Paper award of FM'23
The Best Paper award for the best paper of FM'23, for the paper Word Equations in Synergy with Regular Constraints (F. Blahoudek, Y. Chen, D. Chocholatý, V. Havlena, L. Holík, O. Lengál, J. Síč).
Doskočilová Markéta, Mgr.
Hliněná Dana, doc. RNDr., Ph.D.
Kůdelová Petra, Mgr.
Malik Aamir Saeed, Ph.D.
Nunvářová Svatava, Ing., Ph.D.
The Commemorative Medal of FIT BUT (The Bronze Medal)
Bronze medal Faculty of Information Technology BUT is awarded by the dean for excellent working results and performance of tasks at the institute, significant scientific results and promotion of faculty, etc.
The Commemorative Medal of FIT BUT (The Gold Medal)
Dean of the Faculty of Information Technology BUT awarded the Gold Medal of the Faculty of Information Technology BUT in recognition of significant contribution to the development of the faculty and the entire BUT during the term of office Faculty Secretary
The Commemorative Medal of FIT BUT (The Silver Medal)
Silver Medal of the Faculty of Information Technology BUT is awarded by the dean for long-term superior business results.
Šmahlíková Barbora, Ing.
The Outstanding Undergraduate Thesis Award
Barbora Šmahlíková received for her bachelor thesis the international award "The Outstanding Undergraduate Thesis Award" of Vienna Center for Logic and Algorithms (VCLA), one of the most prestigious organisations dealing with logic and formal methods. The award is given to the best undergraduate thesis in the area of formal methods world-wide.
Rozsíval Michal, Ing.
The Rector's Award
The Rector's Award for excellent study results.