Aktualita
Kategorie: novinka
Dne: 19. července 2023
Barbora Šmahlíková získala další prestižní cenu
![[img]](https://www.fit.vut.cz/fit/news-file/3520/smahlikova.png)
Vienna Center for Logic and Algorithms (VCLA) udělilo naší studentce Barboře Šmahlíkové mezinárodní ocenění "The Outstanding Undergraduate Thesis Award" za celosvětově nejlepší bakalářskou práci v oblasti formálních metod.
O významu ocenění svědčí fakt, že VCLA je jednou z nejprestižnějších organizací zabývajících se logikou a formálními metodami ve světě.
Barbora získala za svou práci v oblasti omega automatů ocenění i u nás. Letos v červnu převzala Cenu vlády nadanému studentovi za úspěchy ve výzkumu.
Zjistěte víc o Bářině práci zde.