Cena Josefa Hlávky 2025 pro Filipa Macáka

Nadace Nadání Josefa, Marie a Zdeňky Hlávkových udělila v neděli 16. listopadu 2025 Cenu Josefa Hlávky. Tu si každoročně odnáší talentovaní studenti bakalářského, magisterského či doktorského studia ve věku do 33 let, kteří prokázali výjimečné schopnosti a tvůrčí myšlení ve svém oboru. Cena letos putuje i na naši fakultu – osobně si ji převzal Filip Macák z Ústavu inteligentních systémů. Ocenění spojené s finanční podporou 30 tisíc korun se pravidelně předává v předvečer výročí sametové revoluce na zámku Josefa Hlávky v Lužanech u Přeštic.

Student doktorského studia Filip Macák zvlášť v poslední době slaví se svou výzkumnou prací úspěchy. V minulém roce převzal ocenění Distinguished Paper za článek „Policies Grow on Trees: Model Checking Families of MDPs“ na konferenci ATVA 2024 v Japonsku. V květnu letošního na konferenci o autonomních agentech a multi-agentních systémech AAMAS 2025 v americkém Detroitu získal ocenění Best Student Paper za článek „Decentralized Planning Using Probabilistic Hyperproperties“ (spoluautorem obou článků je Roman Andriushchenko, pod vedením doc. Milana Češky). V září pak za týž počin obdržel Ocenění rektora za mimořádný konferenční příspěvek s velkým dopadem na komunitu.

Macák se odborně pohybuje na poli formální verifikace v pravděpodobnostních modelech pracujících v rámci sekvenčního rozhodování s nejistotou. Ty jsou využívány třeba na poli ekonomiky, medicíny a dnes obzvlášť v rámci vývoje AI (reinforcement learning, zpětnovazební učení). Předmětem jeho zájmu je tak např. spolehlivost a vysvětlitelnost AI agentů, které vzbuzují otázky po vhodnosti zvolených strategií agenta, tedy, laicky řečeno, to, zda AI agenti dělají, co je v dané situaci vhodné a žádoucí. Macák se pak zabývá formální, matematickou verifikací systémů s cílem zvýšit jejich odpovědnost a důvěryhodnost – jde o jednu z velkých výzev v souvislosti s aktuálním masivním rozvojem umělé inteligence. A jak sám říká, je to těžká matematika. „Ale matematiku jsem miloval od základní školy, gymnázium jsem strávil v matematické třídě. A bavila mě i informatika, proto byla volba dalšího studia poměrně jasná.“ Své výzkumné téma si zvolil na začátku magisterského studia, kdy jej velmi zaujaly přednášky doc. Milana Češky věnované právě pravděpodobnostním modelům. Češka je dnes vedoucím jeho disertace.

Macák, který je aktuálně na studijním pobytu na nizozemské Radboud University Nijmegen, o ocenění cíleně neusiluje, je to věc vyplývající z výzkumné práce, na niž se soustředí. Samozřejmě si cen váží, jak těch od odborné komunity (viz konference ATVA a AAMAS), tak i těch, které přicházejí od širších platforem typu Hlávkovy nadace. „Je to pro mě pocta, jak jinak,“ dodává čerstvý laureát.

Přejeme Filipu Macákovi mnoho dalších úspěchů a děkujeme za skvělou reprezentaci FIT VUT.