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

• 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.

• Michal Ajdarów
• Miroslav Chodil
• David Klaška
• Jan Mačák

• Vít Musil

• Ľuboš Korenčiak (PhD, 2018)
• Petr Novotný (PhD, 2015)
• Marek Trtík (PhD, 2014)
• Jiří Slabý (PhD, 2014)
• Jan Křetínský (PhD, 2014)
• Jan Krčál (PhD, 2014)
• Vojtěch Forejt (PhD, 2009)
• Václav Brožek (PhD, 2009)
• Tomáš Brázdil (PhD, 2007)

• CONCUR 2024. 35th International Conference on Concurrency Theory, CONCUR 2024. September 9-13, 2024, Calgary, Canada.
• RP 2024. 18th International Conference on Reachability Problems, September 25-27, 2024, TU Wien, Vienna, Austria.
• 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.