Dělá, co ji baví a je v tom světová. Zlepšovák algoritmů ocenili na TU Wien

Studentka Fakulty informačních technologií Vysokého učení technického v Brně (FIT) Barbora Šmahlíková získala mezinárodní studentskou cenu Vídeňského centra pro logiku a algoritmy (VCLA), které je součástí Technické univerzity ve Vídni (TU Wien). Prestižní ocenění získala za bakalářskou práci "Next Generation of Rank-Based Algorithms for Omega Automata", kterou vypracovala pod společným vedením Vojtěcha Havleny a Ondřeje Lengála. V bakalářské práci se zabývá optimalizací algoritmů pro Büchiho automaty, které pomáhají určovat chování systémů běžících nepřetržitě dlouho, jako jsou operační nebo řídící systémy.

Barbora Šmahlíková se o výzkum začala zajímat již ve druhém ročníku bakalářského studia a brzy se dostala na úroveň, které zpravidla dosahují až doktorští studenti.

„Mým jediným požadavkem bylo, že chci dělat něco, co souvisí s teoretickou informatikou a matematikou, protože to mě vždycky bavilo. Můj školitel mi vybral komplementaci Büchiho automatů. Několik měsíců jsem četla články a studovala téma. Až poté jsem byla připravena přijít s nějakými novými nápady pro komplementační algoritmus. Toto téma mi připadá velmi zajímavé, a i když jsem zpočátku nevěděla, co mám očekávat, rychle jsem se do něj ponořila,“ uvádí o volbě tématu a své motivaci na webu VCLA.

Výsledkem „ponoření“ je vylepšený algoritmus pro Büchiho automaty, který aktuálně patří k nejlepším na světě. Pokud se chcete o výzkumu dozvědět více, přečtěte si vysvětlení na webu FIT případně článek na zvut.cz.

Vídeňské centrum pro logiku a algoritmy je jednou z nejvýznamnějších organizací zabývajících se logikou a formálními metodami na světě. Vzniklo v roce 2011 a zaměřuje se na mezinárodní vědeckou spolupráci a podporu zájmu o výzkum v oblastech logiky, filozofie, matematiky, informatiky a umělé inteligence. VCLA International Student Awards uděluje od roku 2015 ve dvou kategoriích – Cena za vynikající diplomovou práci a Cena za vynikající bakalářskou práci.

Barbora Šmahlíková pokračuje na FIT ve studiu v navazujícím magisterském programu Informační technologie a umělá inteligence se specializací Matematické metody. Ocenění z Vídně není jediným úspěchem, kterého dosáhla. Mimořádnost její práce již dříve potvrdily Cena rektora VUT, Cena Zdeny Rábové za aktivity zvyšující prestiž FIT a zejména Cena vlády ČR nadanému studentovi či studentce, kterou získala jako její první laureátka.

Barboře Šmahlíkové gratulujeme!