Faculty of Informatics
Faculty of Informatics

Theoretical computer science

Admission to Master's degree programmes in 2019/2020 (beginning: Autumn 2019)

Master's degree programme (following the Bachelor's one)
Czech

I want to study with a specialization

Specialized studies give you the opportunity to deepen the knowledge within the particular area of the study programme.

Algorithms of computational models

full-time

Formal verification and program analysis

full-time

Principles of programming languages

full-time