ParaDise

Kontakt: RNDr. Jiří Barnat, Ph.D.

Stránky laboratoře: http://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.

• Hlavní strana
• O Fakultě informatiky
• Přijímací řízení
• Studium
• Výzkum a vývoj
  • Výzkumné laboratoře
  • Výzkumná centra
  • Informatické kolokvium
  • Technické zprávy
  • Formuláře
  • Kontakty
• Projekty
• Zahraniční studium
• E-learning
• Průmysloví partneři
• Aktuality
• Kontakty