Studijní programy

Absolvent důkladně rozumí teoretickým základům výpočetních systémů a zároveň má přehled o praktických výpočetních metodách a postupech. Rozumí tak různým modelům výpočtů a jejich vzájemným vztahům, zná možnosti a limity efektivních výpočtů, rozumí problematice kryptografie, disponuje širokým spektrem algoritmických technik a technik konstrukce datových struktur. Má také důkladné znalosti v oblasti pravděpodobnosti a jejího využití při návrhu a analýze algoritmů a výpočetních systémů.

Absolvent má schopnost porozumět abstraktním modelům výpočetních procesů, je schopen procesy analyzovat a modelovat. Umí ověřovat správnost modelů a jejich vlastností a je schopen správně a přesně formulovat argumenty. Umí též analyzovat a předvídat chování pravděpodobnostních systémů. Umí též být v kontaktu s aktuálními výsledky v dané disciplíně a v ideálním případě k nim i sám tvůrčím způsobem přispívat.

Absolvent nalezne uplatnění při návrhu a analýze komplexních systémů a při vývoji inovativních a transformativních technologií. Nalezne tak uplatnění ve špičkových společnostech a institucích zabývajících se vývojem a výzkumem nových technologií, analýzou dat a modelováním nejrůznějších procesů (finančních, biologických, technologických a jiných) a řešením složitých problémů. Studium absolventa též připraví pro navazující doktorandské studium teoretické informatiky a příbuzných oborů na kterékoliv světové univerzitě.

Absolvent rovněž dovede prezentovat své nápady, formulovat a řešit problémy, pracovat s odbornou literaturou a využívat svých programátorských dovedností.