Prof. RNDr. Mojmír Křetínský, CSc.
Field of study: Informatics
supervisor of doctoral students
- Tomáš Babiak
- Vojtěch Řehák (graduate 2007, topic: On Extensions of Process Rewrite Systems)
- Jiří Srba (graduate 2005, topic: Selected Techniques for Verification of Infinite-State Systems)
- Jan Strejček (graduate 2005, topic: Linear Temporal Logic: Expressiveness and Model Checking)











