Barbora Šmahlíková získala další prestižní cenu
Barbora Šmahlíková sbírá za svou bakalářskou práci v oblasti omega automatů jedno ocenění za druhým. Po Ceně vlády nadanému studentovi jí udělilo Vienna Center for Logic and Algorithms prestižní mezinárodní ocenění "The Outstanding Undergraduate Thesis Award" za celosvětově nejlepší bakalářskou práci v oblasti formálních metod. …
