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


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

Zobrazit na mapě

Telefon: 549 49 3922; 604 233 350
E‑mail:
Školitel

Obor: Informatika

školitel doktorských studentů
Dominik Velan
Konzultant 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

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

Další info