Detail ocenění
The Outstanding Undergraduate Thesis Award
Rok: 2023
Úroveň
mezinárodní
Kategorie
výzkum a vývoj
URL
Osoby
Šmahlíková Barbora, Ing.
Popis
Barbora Šmahlíková získala za svou bakalářskou práci mezinárodní ocenění "The Outstanding Undergraduate Thesis Award" od Vienna Center for Logic and Algorithms (VCLA), jedné z nejprestižnějších organizací zabývajících se logikou a formálními metodami ve světě. Ocenění je udělováno celosvětově nejlepší bakalářské práci v oblasti formálních metod.