Havlena Vojtěch, Ing., Ph.D.
Holík Lukáš, doc. Mgr., Ph.D.
Chocholatý David, Bc.
Lengál Ondřej, Ing., Ph.D.
Síč Juraj, Mgr.
A Distinguished Paper Award at OOPSLA'23
Článek "Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč. Solving String Constraints with Lengths by Stabilization." získal ocenění Distinguished Paper na OOPSLA'23, flagship konferenci v oblasti programovacích jazyků.
A Distinguished Paper Award at PLDI'23
Článek "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." získal ocenění Distinguished Paper na PLDI'23, flagship konferenci v oblasti programovacích jazyků.
Rozsíval Michal, Ing.
Cena rektora VUT v Brně
Cena rektora VUT v Brně za vynikající studijní výsledky a vzorně zpracovanou a obhájenou diplomovou práci.
Šmahlíková Barbora, Bc.
Cena vlády pro nadaného studenta 2022
Cena vlády je udělována studentce či studentovi střední nebo vysoké školy, kteří projevili mimořádný talent a zájem o výzkumnou či vědeckou práci. Barbora Šmahlíková je historicky první držitelkou ceny vlády nadanému studentovi, a to za její přínos v oblasti vývoje algoritmů pro komplementaci tzv. omega automatů.
Svobodová Lucie, Bc.
Cena Zdeny Rábové
Bc. Lucie Svobodová v akademickém roce 2022/2023 vypracovala vynikající bakalářskou práci na téma "Static Analysis Using the Meta Infer Framework to Detect Data Races" pod vedením prof. Tomáše Vojnara. Práce byla úspěšně prezentována na studentské konferenci Excel@FIT, kde získala Cenu firmy Honeywell, Cenu firmy NXP a ocenění odbornou veřejností - Cenu Jiřího Kunovského. Její práce povede k vydání článku na některé z uznávaných mezinárodních konferencí v dané oblasti. Studentka již během své práce pomohla s přípravou publikace o dříve vytvořeném statickém analyzátoru L2D2, zaměřeném na vyhledávání uváznutí, na mezinárodní konferenci EUROCAST 2022 a je spoluautorkou této publikace. Studentka dosahovala výborných studijních výsledků v průběhu celého svého bakalářského studia (vážený studijní průměr 1,22) a celkově prospěla s vyznamenáním.
Klhůfek Jan, Ing.
Cena Zdeny Rábové
Ing. Jan Klhůfek v akademickém roce 2020/2021 vypracoval vynikající bakalářskou práci na téma "Generátor aritmetických obvodů" pod vedením Ing. Vojtěcha Mrázka, Ph.D. Tato práce se umístila jako třetí na soutěži 8 z VUT. Výsledky byly publikovány na zahraniční konferenci DDECS 2022, kde byl článek oceněn jako nejlepší studentská práce. Ing. Klhůfek byl pozván prof. Rolfem Drechslerem z Univerzity v Brémách na týdenní stáž, při které pracoval na adaptaci své bakalářské práce pro ověřování metod formální verifikace digitálních obvodů. V roce 2022/2023 vypracoval diplomovou práci na téma "Modelování akcelerátorů neuronových sítí" pro vedením Ing. Vojtěcha Mrázka, Ph.D. Výsledky této práce se připravují k publikaci na prestižní konferenci DATE. Mimo to byl zapojen do řešení výzkumného projektu GAČR, kde pravidelně pomáhal týmům z FIT VUT i UI AV ČR s modelováním a vyhodnocováním vlastností akcelerátorů neuronových sítí. Tyto konzultace pomohly k dalším publikacím. V současnosti rozvíjí studovaná témata při doktorském studiu pod vedením prof. Lukáše Sekaniny, Ph.D.
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.
Pamětní medaile FIT VUT (bronzová medaile)
Bronzová medaile Fakulty informačních technologií VUT je udělována děkanem fakulty za výborné pracovní výsledky a plnění úkolů na ústavu, výrazné vědecké výsledky a propagaci fakulty apod.
Pamětní medaile FIT VUT (stříbrná medaile)
Stříbrná medaile Fakulty informačních technologií VUT je udělována děkanem fakulty za dlouhodobé nadstandardní pracovní výsledky.
Pamětní medaile FIT VUT (zlatá medaile)
Děkan Fakulty informačních technologií VUT udělil Zlatou medaili Fakulty informačních technologií VUT jako ocenění výrazného přínosu k rozvoji fakulty a celého VUT během funkčního období tajemníka fakulty
Havlena Vojtěch, Ing., Ph.D.
Holík Lukáš, doc. Mgr., Ph.D.
Chocholatý David, Bc.
Lengál Ondřej, Ing., Ph.D.
Síč Juraj, Mgr.
The Best Paper award of FM'23
Cena za nejlepší článek na konferenci FM'23, a to konkrétně za článek Word Equations in Synergy with Regular Constraints (F. Blahoudek, Y. Chen, D. Chocholatý, V. Havlena, L. Holík, O. Lengál, J. Síč).
Šmahlíková Barbora, Bc.
The Outstanding Undergraduate Thesis Award
Barbora Šmahlíková získala za svou bakalářskou práci mezinárodní ocenění "The Outstanding Undergraduate Thesis Award" od Vienna Center for Logic and Algorithms (VCLA), jedné z nejprestižnějších organizací zabývajících se logikou a formálními metodami ve světě. Ocenění je udělováno celosvětově nejlepší bakalářské práci v oblasti formálních metod.