• 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

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

Prof. RNDr. Luboš Brim, CSc.

 

supervisor of doctoral students

• Matej Klement
• Petr Ročkai

supervisor of doctoral students

• Jiří Barnat (graduate 2005, topic: Distributed Memory LTL Model Checking)
• Milan Češka (topic: Designing Data-Parallel Graph Algorithms for Model Checking)
• Sven Dražan
• Jana Fabriková
• Jakub Chaloupka (graduate 2011, topic: Algorithms for Mean-Payoff and Energy Games)
• Pavel Moravec (graduate 2008, topic: Distributed State Space Reductions)
• David Šafránek (graduate 2006, topic: Visual Coordination Networks)
• Pavel Šimeček (graduate 2010, topic: External Memory LTL Model Checking)
• Jitka Žídková (graduate 2004, topic: Using Assumptions to Distribute Model Checking)