Pokračující rychlý růst množství dat získávaných z různých zdrojů implikuje potřebu efektivních metod zpracování a získávání znalostí. Data je potřeba vhodně strukturovat a ukládat, efektivně v nich vyhledávat a analyzovat je za účelem získání znalostí, které bychom bez využití sofistikovaných metod a algoritmů nebyli schopni objevit.
V rámci našeho výzkumu se pro zpracování rozsáhlých kolekcí slabě strukturovaných dat, extrakci znalostí z dat nebo např. pro redukci dimenze pro vysocedimenzionální data zabýváme metodami inspirovanými živou přírodou.
Tyto metody (bioinspirované metody, metody softcomputingu, …) umožňují díky studiu přírodních jevů, procesů i teoretických modelů rozvíjet výpočetní systémy a algoritmy, které jsou schopny řešit složité problémy neřešitelné (nebo jen obtížně řešitelné) tradičními technikami.
Další součástí našeho výzkumu je oblast formálních metod s orientací na znalostní přístupy v oblasti tvorby softwarových systémů. Základními tématy této oblasti jsou zejména vývoj moderních metod pro efektivní tvorbu a verifikaci softwarových systémů, využití formálních metod pro specifikaci softwarového procesu a jeho efektivní řízení.
- Biomedicíncké aplikace při měření a zpracování velkoobjemových dat např.:
- zpracování signálů, s primárním důrazem na signály biologického původu,
- modelování a ověřování složitých procesů při plánování radioterapie.
- Inteligentní sítě (Smart Grids)
- udržitelný rozvoj – optimalizace zdrojů a aktivní management toku energií ve smart grids s důrazem na zvýšení pozitivního dopadu na životní prostředí a sociální úroveň populace,
- optimalizace sofistikovaného řízení technologických celků na základě analýzy biologických procesů.
- Masivně paralelní výpočty na různých technologických platformách.
