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.