Office: B403, left wing

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.

• Vojtěch Forejt
• Jan Holeček
• Jan Krčál
• Jan Křetínský
• Oldřich Stražovský
• Jiří Slabý
• Marek Trtík
• Ivana Vařeková

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

• SFM-10:QAPL. 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages. June 21-26, 2010, Bertinoro, Italy.
• Joint CSL + MFCS 2010 conference. 19th EACSL Annual Conference on Computer Science Logic, 35th International Symposium on Mathematical Foundations of Computer Science. August 23-27, 2010, Brno, Czech Republic.
• RP 2010. 4th Workshop on Reachability Problems. August 27-29, 2010, Brno, Czech Republic.
• TAMC 2010. 7th Annual Conference on Theory and Applications of Models of Computation. June 7-11, 2010, Prague, Czech Republic.
• ACSD 2010. 10th International Conference on Application of Concurrency in System Design. June 21-25, 2010, Braga, Portugal.
• QFM'09. Quantitative Formal Methods: Theory and Applications. November 3, 2009, Eindhoven, The Netherlands.
• MEMICS 2009. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. November 13-15, 2009, Znojmo, Czech Republic.