Assoc. Prof. RNDr. Tomáš Brázdil, Ph.D.

Field of study: Informatics
consultant of doctoral students
- Václav Brožek (graduate 2009, topic: Basic Model Checking Problems for Stochastic Games)
- Vojtěch Forejt (graduate 2009, topic: Controller Synthesis for Markov Decision Processes with Branching - Time Objectives)
- Jan Krčál
- Jan Křetínský
- Petr Novotný












