Novinka
Dne: 19. července 2023
Barbora Šmahlíková získala další prestižní cenu
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.