Antonin Kucera
Antonín Kučera
Professor of Computer Science


Office: Room C438, wing "C", 4th floor

Address: Masaryk University, Faculty of Informatics, Botanická 68a, 60200 Brno, Czech Republic

E-mail: tony "at" fi.muni.cz

Phone: +420 549 494 374

Fax: +420 549 497 434

Research Interests

  • Stochastic processes, effective analysis of probabilistic systems.
  • Markov decision processes and stochastic games, strategy synthesis, multi-objective optimization.
  • Infinite-state systems and games.
  • Applications of game theory in security and operational research.
  • The decidability and complexity of equivalence-checking and model-checking over various classes of infinite-state systems.
  • Modal and temporal logics.

PhD Students


Past PhD Students


  • MFCS 2024. 49th International Symposium on Mathematical Foundations of Computer Science, August 26-30, 2024, Bratislava, Slovakia.
  • ICALP 2024. 51st EATCS International Colloquium on Automata, Languages and Programming, ICALP 2024. Talinn, Estonia.
  • FoSSaCS 2024. 27th International Conference on Foundations of Software Science and Computation Structures.
  • VECoS 2023. (16th International Conference on Verification and Evaluation of Computer and Communication Systems). 18-20 October 2023, Marrakech, Morocco.