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 subject 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.
• Fulfil requirements of at least one specialization.

Compulsory subjects of the program

Specialization: Algorithms and Computational Models

Specialization Algorithms and Computational Models will familiarize students with problem solving methods, which are computationally demanding on conventional computers. Graduates are also familiar with the principles, benefits and limitations of non-classical computing systems such as neural networks or quantum computers.

Compulsory subjects of the specialization

Recommended course of study

Specialization: Formal Verification and Program Analysis

The specialization Formal verification and analysis of programs 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 subjects 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 subjects of the specialization

Recommended course of study