Cena Zdeny Rábové

Klhůfek Jan, Ing.

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.