Teoretická informatika a umělá inteligence

Program vychovává odborníky pro oblast výzkumu a vývoje, a to formou samostatného řešení výzkumných úkolů v teoretické informatice a umělé inteligenci. Kromě širších formálních základů informatiky získají studenti hluboké znalosti v některé ze specializací, kterými jsou například: návrh algoritmů a datových struktur včetně jejich analýzy, reprezentace znalostí, studium a využití moderních kognitivních přístupů i klasických technik strojového učení, návrh multiagentních systémů, formální modelování problémů (například plánování a rozhodování) a jejich řešení různými přístupy včetně logických, pravděpodobnostních a přírodou inspirovaných metod. Studenti se naučí formulovat vlastní výzkumné cíle, připravit návrh projektu, který by vedl k jejich splnění, a získané výsledky prezentovat v mezinárodním prostředí. Získají také zkušenosti s výukou studentů, která zahrnuje i vedení závěrečných prací.