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

Detail

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

Detail

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.

Detail

Šmahlíková Barbora, Ing.

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

Detail

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.

 

Detail

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.

Detail

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.

Detail

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.

Detail

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

Detail

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

Detail

Šmahlíková Barbora, Ing.

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.

Detail
Nahoru