The group Verif consists of five people in Department of Computer Science, FEI VSB-TU Ostrava, who work in the research area which can be classified as verification of systems. The main current theoretical interest focuses on algorithms deciding bisimilarity on various classes of processes, and related questions. A more practical work is related to the area of high performance computing. We are developing a tool Kaira for modelling and generating parallel applications.


  • Petr Jancar (Prof.)
  • Zdenek Sawa (Doc.)
  • Marek Běhálek
  • Stanislav Böhm
  • Martin Kot

Ph.D. students:

  • Ondřej Meca
  • Martin Šurkovský