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é architektury, Podnikové modelování
- 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
- Kvantová komunikace a kryptografie
- Lidské a společenské aspekty bezpečnosti a soukromí
- Matyáš (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
- Struktury pro návrh softwarových systémů
- 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ů
- Logiky vyšších řádů, Automatické vyvozování
- Náhodnost, geometrie a diskrétní struktury
- Návrh a analýza algoritmů
- Strojové učení, teorie
- Teorie kvantového počítání
- 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
- Beneš, Šafránek (SYBILA)
- Jan Křetínský (LiVe)
- Výpočetní proteomika