Antonín Kučera

Česká republika

Antonín Kučera se dlouhodobě věnuje problémům z oblasti analýzy, verifikace a syntézy diskrétních systémů, které tvoří formální základ soudobých metod pro ověřování a zajišťování správného chování počítačových systémů. Zásadní význam mají jeho práce o algoritmické analýze tříd nekonečně-stavových stochastických systémů, za které získal v roce 2016 cenu Friedricha Wilhelma Bessela od Humboldtovy nadace. V posledních deseti letech se rovněž intenzivně věnuje výzkumu metod pro optimalizaci dlouhodobého chování multiagentních systémů se zvláštním zřetelem na automatické patrolování. Profesor Kučera vyniká také vynikající publikační činností a aktivní účastí na celosvětově prestižních konferencích. Ocenění bylo uděleno za vítězství v Ceně rektora MU v kategorii za dlouhodobé vynikající výsledky ve výzkumu v oblasti ekonomie a informatiky. Medaile byla předána během slavnosti Dies academicus.

Návrh na udělení Stříbrné medaile MU byl předložen Fakultou informatiky Masarykovy univerzity. Medaile byla předána 23. května 2024.