Prof. RNDr. Ivana Černá, CSc.
Field of study: Informatics
supervisor of doctoral students
- Nikola Beneš (topic: Disjunctive Modal Transition Systems)
- Petr Jarušek
- Pavlína Moravcová Vařeková (graduate 2009, topic: Model Checking of Control-User Systems)
- Radek Pelánek (graduate 2006, topic: Reduction and Abstraction Techniques for Model Checking)
- Mária Svoreňová
- Jana Tůmová











