doc. RNDr. Tomáš Brázdil, Ph.D.

Associate professor, Department of Machine Learning and Data Processing

office: S214
Botanická 554/68a
602 00 Brno

phone:	+420 549 49 3922
e‑mail:

social and academic networks:

Field of study: Computing Technology and Methodology

Controller Synthesis for Resource-Aware Systems – graduate 2015
Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds – graduate 2014
Modal Transition Systems: Extensions and Analysis – graduate 2014
Basic Model Checking Problems for Stochastic Games – graduate 2009
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives – graduate 2009