Cena Zdeny Rábové

Šmahlíková Barbora, Ing.

Bc. Barbora Šmahlíková v akademickém roce 2021/2022 vypracovala vynikající bakalářskou práci na téma "Nová generace rank-based algoritmů pro omega automaty" pod vedením dr. Lengála a s konzultacemi dr. Havleny. Výsledky této práce byly publikovány na zahraničních konferencích, přičemž dvě z těchto konferencí patří mezi opravdu nejlepší světové konference v oblasti formálních metod a verifikace. U studentky bakalářského studijního programu jsou takové výsledky naprosto výjimečné. 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,17). Byla také oceněna odborným panelem na studentské konferenci inovací, technologií a vědy v IT Excel@FIT 2022. V současnosti pracuje na dalších dvou konferenčních článcích a jednom časopiseckém.