navazující magisterský program (český) se specializacemi

• český studijní program, přednášky mohou být v angličtině
• prof. RNDr. Antonín Kučera, Ph.D.

Studium teoretické informatiky je zaměřeno na hlubší pochopení základních principů, ze kterých vycházejí soudobé informační technologie, včetně neklasických výpočetních systémů jako jsou neuronové sítě nebo kvantové počítače. Mimo aktivního osvojení poznatků teoretické i technické povahy je kladen zvláštní důraz na rozvoj abstraktního myšlení. Studenti si osvojí pokročilé algoritmické postupy, získají vhled do principů moderních programovacích jazyků, seznámí se s metodami pro analýzu, testování a verifikaci kódu, a porozumí možnostem a omezením nastupujících výpočetních zařízení, která fungují na odlišných principech, než klasické počítače. Získané poznatky a dovednosti připraví studenty k expertní analytické práci, která může zahrnovat i samostatný výzkum.

Absolvent programu je připraven k práci ve společnostech zaměřených na návrh a vývoj softwarových systémů, zejména na pozicích analytika, softwarového architekta, nebo verifikátora. Uplatnění nalezne rovněž ve společnostech poskytujících konzultace a poradenství v oblasti informatiky. Solidní matematické základy společně se znalostí netriviálních algoritmických postupů jsou dobrým předpokladem i pro práci ve finančním sektoru. Získané vědomosti a dovednosti může absolvent velmi dobře zužitkovat rovněž v navazujícím doktorském studiu.

Požadavky na úspěšné absolvování programu

• Získat nejméně 120 kreditů za celou dobu studia a složit státní závěrečnou zkoušku.
• Získat 20 kreditů za předmět SDIPR a obhájit diplomovou práci. Viz pokyny.
• Absolvovat všechny povinné a povinně volitelné předměty programu a vybrané specializace nejvyšší formou ukončení (není-li explicitně uvedeno jinak).
• Splnit podmínky alespoň jedné specializace studijního programu.

Povinné předměty programu

Specializace: Diskrétní algoritmy a modely

Studenti specializace Diskrétní algoritmy a modely získají pokročilé znalosti v širokém spektru oblastí teoretické informatiky a souvisejících oblastech matematiky. Absolventi specializace budou umět řešit velmi náročné úlohy z vybraných oblastí teoretické informatiky a budou mít základní zkušenost s vědeckou prací podobnou doktorskému studiu.

Povinné předměty specializace

Doporučený průchod studiem

Specializace: Formální analýza počítačových systémů

Specializace Formální analýza počítačových systémů je zaměřena na formální metody pro modelování, analýzu, testování a verifikaci počítačových programů, které jsou klíčovou součástí vývoje moderních softwarových systémů. Studenti získají potřebný teoretický základ v oblasti formálních metod, hlubší vhled do principů moderních verifikačních nástrojů a soubor prakticky orientovaných dovedností využitelných při působení v týmech zodpovědných za zajištění kvality softwarových produktů.

Povinné předměty specializace

Doporučený průchod studiem

Specializace: Principy programovacích jazyků

Specializace Principy programovacích jazyků poskytuje hlubší vhled do paradigmat moderních programovacích jazyků a struktury jejich překladačů. Absolventi umí zvolit optimální programovací prostředky pro daný typ aplikace a dokáží si rychle osvojit nové programovací jazyky.

Povinné předměty specializace

Doporučený průchod studiem