Antonin Kučera
Professor, Masaryk University
Antonin Kucera is a professor of computer science at Masaryk University, Brno, Czech Republic. His main research interests include methods for effective analysis of stochastic systems, applications of game theory in formal verification and security, algoritms for infinite-state systems, and multi-objective optimization. In the years 2012-2020, he was a vice-president of the European Association for Theoretical Computer Science (EATCS) and he is the chairman of IFIP Working Group 2.2 Formal Description of Programming Concepts.