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.

Detail

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.

Detail

Svobodová Lucie, Bc.

Prize of Zdena Rábová

Detail

Klhůfek Jan, Ing.

Prize of Zdena Rábová

Detail

Š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.

Detail

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íč).

Detail

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.

Detail

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

Detail

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.

Detail

Š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.

Detail

Rozsíval Michal, Ing.

The Rector's Award

The Rector's Award for excellent study results.

Detail
Back to top