Permanent members
- Lubos Brim
- Jiri Barnat (head of the laboratory)
- Ivana Cerna
Post-docs
David Safranek (EC-MOAN project)PhD students
Nikola Benes, Milan Ceska, Jakub Chaloupka, Pavel Simecek, Martin Smerek, Jana TumovaUndergraduate Students
Petr Bauch, Sven Drazan, Jana Fabrikova, Tomas Janousek, Jan Lanik, Roman Plasil, Petr Rockai, Filip Stefanak, Maria Svorenova, Milan KrivanekGuest members
Pavel Krcal (Uppsala), Jiri Srba (Aalborg), Jan Strejcek, Michael Weber (Twente), Jiri (Jirka) Simsa (CMU), Barbora BuhnovaFormer members
Tomas Brazdil, Vojtech Forejt, Martin Hanzalek, Tomas Hanzl, Jan Holecek, Milan Jaros, Tomas Kratochvila, Jitka Kudrnacova, Antonin Kucera, Pavel Moravec, Martin Necesal, Jan Obdrzalek, Radek Pelanek, Daniel Polansky, Vojtech Rehak, Oldrich Strazovsky Jitka Stribrna, Karel Vaigl, Jitka Zidkova, Pavlina Moravcova Varekova
Members by projects:
Verification of Component-Based Systems
Ivana Cerna (project leader), Lubos Brim, Barbora Buhnova, Nikola Benes, Milan Krivanek, Filip StefanakEscheria Coli Modelling and Analysis (EC-MOAN)
Lubos Brim (project leader), Ivana Cerna, Jiri Barnat, David Safranek, Sven DrazanDiVinE -- The Distributed Verification Environment
Jiri Barnat (project leader), Lubos Brim, Ivana Cerna, Pavel Simecek, Petr Rockai, Michael WeberDistributed Verification of Finite-State Probabilistic Systems
Ivana Cerna (project leader), Lubos Brim, Jiri Barnat, Milan Ceska, Jana Tumova