Informační bezpečnost
V našich laboratořích se věnujeme etickému hackování, zkoumání a zabezpečování digitálních stop pro účely forenzní analýzy nebo výzkum zabezpečení čipových karet.
Informační systémy
Studujeme pokročilé metodiky konceptuálního modelování a jejich aplikace pro softwarové a podnikové inženýrství.
Inteligentní vestavné systémy, spolehlivost a bezpečnost
Zabýváme se výzkumem v oblasti nových architektur a algoritmů, které jsou vhodné pro realizaci současných výzev (IoT, umělá inteligence a strojové učení, koordinace činnosti humanoidních i kolových robotů).
Počítačové sítě
Pracujeme se sítěmi, komunikačními protokoly a různými typy sítí od kabelových až po bezdrátové. Zajímá nás všechno, co může posílat nuly a jedničky, co možná nejrychleji a nejspolehlivěji z místa A do místa B.
Strojové učení a zpracování dat
Teoretická informatika
Zabýváme se výzkumem v oblastech teorie algoritmů, stringologie, komprese dat, arbologie, překladačů, umělé inteligence a strojového učení.
Výzkum programovacích jazyků
V rámci projektu BigCode vytvoříme na naší fakultě Institut pro škálovatelnou analýzu kódu (ISCA). Půjde o první vědecko-výzkumný projekt v ČR zaměřený na analýzu rozsáhlých bází programových kódů na Internetu.