Prof. RNDr. Mojmír Křetínský, CSc.

Personal photo

 

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)
Field of study: Mathematical Informatics

supervisor of doctoral students

  • Antonín Kučera (graduate 1997, topic: Decidability Issues for Processes with Infinitely many States)