Prof. RNDr. Antonín Kučera, Ph.D.

Field of study: Computer Systems and Technologies
supervisor of doctoral students
Field of study: Informatics
supervisor of doctoral students
- Tomáš Brázdil (graduate 2007, topic: Verification of Probabilistic Recursive Sequential Programs)
- 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)
- Ľuboš Korenčiak
- Jan Krčál
- Jan Křetínský
- Petr Novotný
- Jiří Slabý
- Marek Trtík











