Cena Zdeny Rábové

Svobodová Lucie, Bc.

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.