prof. RNDr. Ivana Černá, CSc.

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

školitel doktorských studentů
Nikola Beneš	absolvent 2012, téma: Disjunctive Modal Transition Systems
Peter Bezděk	absolvent 2018, téma: Parameter Synthesis for Systems with Real Time
Petr Jarušek	absolvent 2013, téma: Modeling Problem Solving Times in Tutoring Systems
Pavlína Moravcová Vařeková	absolvent 2009, téma: Model Checking of Control-User Systems
Radek Pelánek	absolvent 2006, téma: Reduction and Abstraction Techniques for Model Checking
Mária Svoreňová	absolvent 2015, téma: Control Strategy Synthesis for Path Planning under Temporal Constraints
Jana Tůmová	absolvent 2013, téma: Quantitative Formal Methods for High-level Robot Path Planning

školitel doktorských studentů
Jaroslav Bendík	téma: Algorithms and tools for efficient analysis, design and verification of large-scale systems