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


Botanická 554/68a
Brno
Kancelář: C437

Zobrazit na mapě

Telefon: 549 49 3922; 604 233 350
E-mail: xbrazdil@fi.muni.cz
Školitel

obor: Informatika

školitel doktorských studentů
Václav Brožek absolvent 2009, téma: Basic Model Checking Problems for Stochastic Games
Vojtěch Forejt absolvent 2009, téma: Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
Jan Krčál absolvent 2014, téma: Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds
Jan Křetínský absolvent 2014, téma: Modal Transition Systems: Extensions and Analysis
Petr Novotný absolvent 2015, téma: Controller Synthesis for Resource-Aware Systems
Dominik Velan

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info