Oblasti výzkumu
Na FI řešíme výzkumné otázky a problémy ze všech oblastí informatiky i z příbuzných disciplín. Pro lepší orientaci uvádíme přehled našich výzkumných oblastí a témat s odkazy na zainteresované výzkumné skupiny, ve struktuře podle standardní klasifikace ACM 2012.
Aplikované výpočty
- Člověk a umění – Výtvarné umění a média
- Elektronické obchodování
- Fyzika
- Operační výzkum – Analýza rozhodování
- Operační výzkum – Doprava a logistika
- Operační výzkum – Průmysl a výroba
- Operační výzkum – Zákaznické produkty, Marketing
- Podnikové výpočetní techniky – Řízení podnikových procesů
- Společenské otázky
- Správa dokumentů a zpracování textu
- Umění a humanitní vědy – Jazykový překlad
- Vzdělávání – Interaktivní výuková prostředí
- Vzdělávání – Počítačem podporovaná výuka
Informační systémy
- Aplikované informační systémy
- Digitální knihovny a archívy
- Dolování dat
- Podnikové informační systémy
- Popisovací jazyky pro webová data
- Systémy pro zpracování dat
- Dohnal, Sedmidubský, Zezula (DISA)
- Vyhledávání informací
- Webové vyhledávání a zjišťování informací, Dolování z webu
Organizace počítačových systémů
- Architektury
- Gridové výpočty, Cloudové výpočty
- Senzorové sítě
- Spolehlivost, důvěryhodnost a odolnost proti poruchám
- Systémy reálného času, Vestavěné a kyberfyzické systémy
Počítač orientovaný na člověka
- Dopady používání technologií na člověka a společnost
- Interakce člověk – počítač: Design a metody vyhodnocování
- Modelování uživatelů
- Senzory a aktuátory
- Sociální informatika a podpora spolupráce
- Virtuální a rozšířená realita
- Vizualizace
- Všudypřítomné a mobilní počítání
Počítačová bezpečnost a soukromí
- Bezpečnost počítačových sítí
- Bezpečnost softwaru a aplikací
- Detekce průniků/anomálií a potlačování malwaru
- Hardwarová bezpečnost
- Kryptografie
- Chmielewski, Matyáš, Sýs, Švenda (CRoCS)
- Lidské a společenské aspekty bezpečnosti a soukromí
- Matyáš, Švenda (CRoCS)
- Jan Křetínský (LiVe)
- Použitelná bezpečnost
- Služby bezpečnosti
- Systémová bezpečnost
Software a softwarové inženýrství
- Analýza požadavků
- Automatická statická a dynamická analýza
- Formální metody – Ověřování modelu
- Metody vývoje software
- Programovací jazyky, Překladače, Interprety, Běhová prostředí
- Spolehlivost softwaru
- Struktury pro návrh softwarových systémů
- Techniky vývoje softwaru, Integrovaná a vizuální vývojová prostředí
- Testování a ladění programů
- Verifikace a validace programů
Teoretická informatika
- Algoritmická teorie her
- Kučera, Řehák (Formela)
- Jan Křetínský (LiVe)
- Analýza a verifikace programů
- Automatické vyvozování, SAT a SMT solving
- Formální jazyky a automaty
- Kryptografie, Teorie informací
- Logika a teorie konečných modelů
- Logika a verifikace, Modální a temporální logiky, Verifikace ověřováním modelů
- Náhodnost, geometrie a diskrétní struktury
- Návrh a analýza algoritmů
- Programování s omezujícími podmínkami a logické programování
- Strojové učení, teorie
- Výpočetní složitost, třídy a redukce
Umělá inteligence
- Detekce anomálií, Relační učení
- Distribuovaná umělá inteligence
- Etika umělé inteligence
- Multiagentní systémy, Inteligentní agenti, Mobilní agenti
- Plánování a rozvrhování, Programování s omezujícími podmínkami
- Počítačové vidění
- Pravděpodobnostní plánování
- Prohledávání, metaheuristiky
- Reprezentace znalostí a odvozování
- Řídící metody, Robotické plánování
- Strojové učení, Neuronové sítě
- Zpracování přirozeného jazyka, Velké jazykové modely
Výpočty v přírodních a medicínských vědách
- Bioinformatika
- Biomedicínské aplikace umělé inteligence
- Biomedicínské zobrazování
- Kozubek, Maška, Pavel Matula, Petr Matula, Svoboda, Ulman (CBIA)
- Brázdil (RationAI)
- Systémová biologie
- Výpočetní proteomika