Provádění výzkumné činnosti v oblasti logických a pravděpodobnostních základů informatiky a genetiky. Zaměřujeme se na oblasti výzkumu, jako jsou matematické a logické základy informatiky, výpočetní metody, modelování komplexních procesů a medicínská informatika.