translated by Google

Machine-translated page for increased accessibility for English questioners.

Theoretical Computer Science

The study of theoretical computer science focuses on a deeper understanding of the basic principles underlying contemporary information technologies, including non-classical computing systems such as neural networks or quantum computers. In addition to the active acquisition of theoretical and technical knowledge, special emphasis is placed on the development of abstract thinking.

Students will learn advanced algorithmic procedures, gain insight into the principles of modern programming languages, learn methods for analysis, testing and code verification, and understand the capabilities and constraints of emerging computing devices that operate on different principles than conventional computers. The acquired knowledge and skills will prepare students for expert analytical work, which may include independent research.

The candidate chooses one of the specializations Computational Model Algorithms, Formal Verification and Program Analysis or Programming Language Principles.

Application for study (until April 30)
Admission Procedure Guide

Czech study program
Form prezenční
Study time 2 years
Graduate profile

The graduate of the program is ready to work in companies focused on the design and development of software systems, especially in the positions of analyst, software architect or verifier. He will also find employment in companies that provide IT consultancy and advice. Solid mathematical foundations, together with knowledge of non-trivial algorithmic procedures, are a good prerequisite for work in the financial sector. The acquired knowledge and skills can also be used very well by the graduate in the follow-up doctoral studies.

Where to go after this study?
Graduate survey

FI graduates are valued in practice, their average gross salary in the last few years is more than CZK 45,000, according to a survey of all levels of study. More about graduate employment

Meet successful graduates

Alumni Gallery

We are preparing more information about graduates for you.

Study catalog

In the Study Catalog you will find lists of compulsory and compulsory optional subjects and a recommended course of study.

Study catalog


Practice is not planned as part of study.


Specializations are curricula that set conditions for completion, such as compulsory subjects.

Computational model algorithms

Specialization introduces students to methods of solving problems that are computationally demanding on classical computers. The graduates will also be familiar with the principles, advantages and limitations of non-classical computing systems such as neural networks or quantum computers.

Quantum Information & Computation

Formal verification and analysis of programs

Specialization is focused on formal methods for modeling, analyzing, testing and verifying computer programs, which are a key part of the development of modern software systems. Students will acquire the necessary theoretical basis in the field of formal methods, a deeper insight into the principles of modern verification tools and a set of practically oriented skills useful in working in teams responsible for quality assurance of software products.

Working voltage in ParaDiSe laboratory

Principles of programming languages

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

Code development is what we enjoy