Barbora Šmahlíková received the VCLA International Student Awards

On Tuesday 26 September, Barbora Šmahlíková a student of the Faculty of Information Technology at Brno University of Technology (FIT) received the VCLA International Student Awards. An awards organizer is the Vienna Centre for Logic and Algorithms (VCLA), which is a part of the Technical University of Vienna (TU Wien), where the ceremony was held.

She won the prestigious award for her bachelor thesis "Next Generation of Rank-Based Algorithms for Omega Automata" in which she focuses on optimizing algorithms for Büchi automata that help determine the behavior of systems that run continuously for long periods of time, such as operating or control systems.

Barbora Šmahlíková has received more awards for her research. She is also the first recipient of the Czech Government Award for a Gifted Student and at the BUT Academic Assembly of 2022 she received the Rector's Award for Excellence in Undergraduate Studies. The gifted student is continuing her studies at FIT in the postgraduate program in Information Technology and Artificial Intelligence with a specialization in Mathematical Methods.

More about the award ceremony on the VCLA website

Barbora Šmahlíková's bachelor thesis

She's world class in what she enjoys. Student's algorithm "hack" awarded at TU Wien