Office: Gotex, Šumavská 15, building B, 1st floor, door 2.91 b

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

• Formal modelling and verification of infinite-state systems.
• The decidability and complexity of equivalence-checking and model-checking over various classes of infinite-state systems.
• Modal and temporal logics.
• Stochastic systems, probabilistic temporal logics.
• Game theory and its applications in computer science.

• Karel Klíč
• Ľuboš Korenčiak
• Jan Krčál
• Jan Křetínský
• Petr Novotný
• Jiří Slabý
• Marek Trtík
• Ivana Vařeková

• Tomáš Brázdil (PhD, 2007)
• Václav Brožek (PhD, 2009)
• Vojtěch Forejt (PhD, 2009)

• FoSSaCS 2014. 17th International Conference on Foundations of Software Science and Computation Structures. April 2014, Grenoble, France.
• Highlights 2013. Highlights of Logic, Games and Automata. September 18-21, 2013, Paris, France.
• ICALP 2013. 40th International Colloquium on Automata, Language and Programming. July 8-12, 2013, Riga, Latvia.
• STACS 2013. 30th International Symposium on Theoretical Aspects of Computer Science. February 27 - March 2, 2013, Kiel, Germany.

• FMDSA. Working Seminar on Formal Models, Discrete Structures, and Algorithms.
• FI MU Report Series.