Diskrétní modely a algoritmy
Program je zaměřený na teoretickou informatiku, zejména na její matematické a optimalizační aspekty. Jeho základní oblasti (respektive specializace) jsou: diskrétní matematika, algoritmy, geometrie, matematické struktury v informatice (algebraické a topologické metody) a optimalizace (hlavně diskrétní, ale i se spojitými aspekty). Program těží ze silného postavení teoretické informatiky v rámci informatiky na UK a přispívá k němu.
Jazykové technologie a počítačová lingvistika
Cílem programu je připravit absolventy na práci při výzkumu, vývoji i aplikačním nasazení systémů využívajících zpracování přirozeného jazyka, a to jak psaného (např. informační systémy, vyhledávání a extrakce informací, strojový překlad, textová analytika), tak i mluveného (automatické zpracování řeči, dialogové systémy, syntéza řeči). Získané znalosti a schopnosti, zejména v oblasti strojového učení, může absolvent uplatnit při zpracování dat obecně.
Softwarové a datové inženýrství
Cílem programu je nabídnout studentům se standardními základy v programování detailní vhled do fungování softwarových řešení, databázových systémů, webových aplikací, potřebný pro vysoce odborné činnosti jako jsou návrh a vývoj aplikačního software, databázových modelů a dalších základních prvků softwarové infrastruktury. V programu je kladen důraz na programování a softwarové a datové inženýrství, a to v pěti různých zaměřeních.
Softwarové systémy
Cílem programu je nabídnout studentům se standardními základy v programování detailní vhled do vnitřního fungování softwarových systémů, potřebný pro vysoce odborné činnosti jako jsou konstrukce, ladění či bezpečnostní analýza operačních systémů, překladačů, middleware a dalších základních prvků softwarové infrastruktury. V oboru je kladen důraz na systémově orientované programování.
Teoretická informatika
Cílem programu je poskytnout studentům široké vzdělání v teoretických základech informatiky. Student získá znalosti v oblasti výpočetních modelů, kryptografie, algoritmických technik, datových struktur a reprezentace znalostí v booleovských doménách. Program studenta seznámí jak se současnými poznatky v oblasti tvorby efektivních algoritmů a datových struktur, tak s možnostmi a limity řešení algoritmických problémů. Mimo to získá student matematické znalosti potřebné pro analýzu a modelování algoritmických jevů a procesů.
Umělá inteligence
Cílem programu je vychovávat absolventy, kteří dokáží používat a vyvíjet techniky umělé inteligence zejména pak v následujících oblastech: řešení úloh a rozhodovacích problémů, automatické plánování a rozvrhování, přírodou inspirované techniky, strojové učení včetně neuronových sítí a robotika včetně práce s přirozeným jazykem a obrazem. Studijní program je zaměřen na širokou škálu metod umělé inteligence, které vycházejí z oblastí matematiky jako je diskrétní matematika, logika a pravděpodobnost, jsou postavené na teoretických základech informatiky (datové struktury, vyčíslitenost a složitost, teorie automatů) a využívají možností současných výpočetních systémů především po softwarové stránce.
Vizuální výpočty a vývoj počítačových her
Cílem programu je poskytnout jeho absolventům kvalitní vzdělání, které je dokonale připraví na celoživotní profesní kariéru v sektoru informačních technologií. Studijní program poskytuje hluboké vzdělání v oboru informatika se zaměřením na generování a zpracování obrazové informace (počítačová grafika, analýza obrazu, počítačové vidění) či na vývoj počítačových her.