Antonin Kučera

Professor, Masaryk University
Visiting Scientist
Dates of Visit: Mar. 1Apr. 2, 2021

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.

Program Visits