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.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Scientist.