prof. RNDr. Ivana Černá, CSc.


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

Zobrazit na mapě

Školitel

Obor: Informatika

školitel doktorských studentů
Nikola Beneš absolvent 2012, téma: Disjunctive Modal Transition Systems
Peter Bezděk 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

Obor: Počítačové systémy a technologie

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

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

Další info