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.
• 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.
• RP 2012. 6th International Workshop on Reachability Problems. September 17-19, 2012, Bordeaux, France.
• CSL 2012. 21th EACSL Annual Conferences on Computer Science Logic. September 3-6, 2012, Fontainebleau, France.
• AISS 2012. Algorithmics on Infinite State Systems. June 29, 2012, Dubrovnik, Croatia.
• IWIGP 2012. International Workshop on Interactions, Games, adn Protocols. 2012, Tallin, Estonia.

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