prof. RNDr. Ivana Černá, CSc.
Kancelář: A410
Botanická 554/68a
602 00 Brno
| Telefon: | 549 49 3890 |
|---|---|
| E‑mail: |
|
Školitel
Obor: Informatika
| školitel doktorských studentů | |
|---|---|
| Nikola Beneš | absolvent 2012, téma: Disjunctive Modal Transition Systems |
| Peter Bezděk | |
| 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 |