• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Staff" page will be displayed with information relevant to the selected constituent part. The "Staff" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Rector`s Office
  • Rectorate
  • Institutes
  • Computer Science
  • CEITEC MU
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • UCB Management

  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer Office
  • Biostatistics
  • Mendel Museum
  • CERIT
  • CEITEC Central Management
  • Telč Centre

   

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

 

supervisor of doctoral students

• Tomáš Babiak
• František Blahoudek
• 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)

supervisor of doctoral students

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