Výzkumné skupiny
Věda a výzkum na FI jsou organizovány volně, v mnohdy neformálních výzkumných skupinách, které pružně reagují na aktuální témata a trendy vědeckého světa.
Formální metody
-
Laboratoř paralelních a distribuovaných systémů (ParaDiSe)
-
Laboratoř formálních metod, logiky a algoritmů (Formela)
-
Laboratoř diskrétních metod a algoritmů (DIMEA)
-
Laboratoř systémové biologie (SYBILA)
Umělá inteligence
-
Centrum zpracování přirozeného jazyka (NLP)
-
Laboratoř získávání znalostí
-
Adaptive Learning Research Group
Vizuální informatika
-
Centrum analýzy biomedicínskeho obrazu (CBIA)
-
Laboratoř interakce člověka s počítačem (HCILAB)
-
Ateliér grafického designu a multimédií (AGD+M)
-
Laboratoř vizualizace (VisIt Lab)
Bezpečnost a zapouzdřené systémy
-
Centre for Research on Cryptography and Security (CRoCS)
-
Laboratoř kvantového zpracování informace a kryptografie (LQIPC)
-
Laboratoř konstrukce a architektury číslicových systémů (EmLab)
Správa dat
-
Laboratoř datově orientovaných systémů a aplikací (DISA)
-
Laboratoř elektronických multimediálních aplikací (LEMMA)
