Prof. RNDr. Antonín Kučera, Ph.D., is an internationally recognized researcher in theoretical computer science. He works in the areas at the intersection of mathematical logic and theoretical computer science such as formal modelling and verification of infinite-state systems, questions of decidability and complexity of analysis of models over various classes of such systems, use of modal and temporal logics. He also studies stochastic systems, game theory and its applications in the areas above. He is a full professor and the head of the Institute for Theoretical Computer Science at Faculty of Informatics, Masaryk University, Brno. His group belongs among the top centers of Czech computer science, he advises a number of PhD. students; some of his past students are themselves recognized scientists.