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.

• Jan Holeček
• Jan Krčál
• Jan Křetínský
• Jiří Slabý
• Marek Trtík
• Ivana Vařeková

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

• GandALF 2010. First International Symposium on Games, Automata, Logics and Formal Verification. June 17-18, 2010, Minori, (Amalfi coast), Italy.
• 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.