follow-up master's program (Czech) with specializations

• Czech
• prof. RNDr. Antonín Kučera, Ph.D.

The study of theoretical computer science focuses on a deeper understanding of basic principles underpinning the development of contemporary information technologies, including non-classical computational devices such as neural networks or quantum computers. Together with the active mastering of advanced theoretical as well as practical concepts, a special emphasis is put on the development of abstract thinking. The students gain a deeper understanding of advanced algorithms, principles of modern programming languages, and methods for verification and analysis of computer programs. Further, they understand the basic advantages and limitations of non-classical computational devices. After successfully completing the programme, the students are qualified for a wide variety of positions requiring complex expert skills.

After successfully completing the study programme, the students are qualified for a variety of IT positions including a developer, system architect, or verification engineer. Solid mathematical skills together with deep knowledge of non-trivial algorithms enable the students to find jobs in the financial sector. The acquired knowledge and skills may be well used also in the follow-up Ph.D. programme.

Requirements for successful graduation

• Obtain at least 120 credits overall and pass the final state exam.
• Obtain 20 credits from SDIPR course and successfully defend Master's Thesis. See more details.
• Pass all the compulsory and elective courses of the program and selected specialization with the highest possible graduation form (unless explicitly stated otherwise).
• Fulfil requirements of at least one specialization.

Compulsory courses of the program

Specialization: Discrete algorithms and models

Students specializing in Discrete Algorithms and Models will gain advanced knowledge in a wide range of areas of theoretical computer science and related areas of mathematics. Graduates of the specialization will be able to solve very demanding tasks from selected areas of theoretical computer science and will have basic experience with scientific work similar to doctoral studies.

Compulsory courses of the specialization

Recommended course of study

Specialization: Formal Analysis of Computer Systems

The specialization Formal Analysis of Computer Systems focuses on formal methods for modeling, analysis, testing, and verification of computer programs as one of the basic building blocks of software systems development. Students get acquainted with the principles of modern verification tools and master practical skills required for working in teams responsible for ensuring the quality of the software products (quality assurance teams).

Compulsory courses of the specialization

Recommended course of study

Specialization: Principles of Programming Languages

Specialization Principles of programming languages provide a deeper insight into the paradigms of modern programming languages and the structure of their compilers. Graduates can choose the optimal programming tools for a given application type and can quickly acquire new programming languages.

Compulsory courses of the specialization

Recommended course of study