Laboratoř paralelních a distribuovaných systémů (ParaDiSe)
Kontakt: prof. RNDr. Jiří Barnat, Ph.D.
Stránky laboratoře: paradise.fi.muni.cz
Laboratoř paralelních a distribuovaných systémů (ParaDiSe) je pracoviště zaměřené zejména na experimentální podporu výzkumu v oblasti souběžných systémů. Hlavním zaměřením laboratoře v současné době je vývoj technik a nástrojů pro automatizovanou verifikaci velkých souběžných systémů a výzkum teoretických základů těchto metod.
