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

Photo not published

 

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 (graduate 2014, topic: Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds)
  • Jan Křetínský (topic: Modal Transition Systems: Extensions and Analysis)
  • Petr Novotný