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 a teorie
-
-
Laboratoř formálních metod, logiky a algoritmů (Formela)
-
Laboratoř diskrétních metod a algoritmů (DIMEA)
-
Laboratoř systémové biologie (SYBILA)
-
Learning in Verification Laboratory (LiVe Lab)
Umělá inteligence
-
Centrum zpracování přirozeného jazyka (NLP)
-
Laboratoř získávání znalostí
-
Adaptive Learning Research Group
-
Výzkumná skupina RationAI s konzervativním přístupem k umělé inteligenci
-
Interdisciplinární výzkum internetu a společnosti (IRTIS)
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 (Visitlab)
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)
-
Laboratoř kyberbezpečnosti (CYBERSEC)
Správa dat
-
Laboratoř datově orientovaných systémů a aplikací (DISA)
-
Laboratoř elektronických multimediálních aplikací (LEMMA)