FI MU Study Catalogue 2021/2022

Back to introduction page

Theoretical Computer Science

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

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

Compulsory subjects of the program

IA006 Selected topics on automata theory
IA008 Computational Logic
IA011 Programming Language Semantics
IA012 Complexity
IV003 Algorithms and Data Structures II
IV111 Probability in Computer Science
MA007 Mathematical Logic
PV021 Neural Networks
SOBHA Defence of Thesis
SZMGR State Exam (MSc degree)

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 subjects of the specialization

IA168 Algorithmic game theory
MA010 Graph Theory
PV027 Optimization
MA009 Algebra II
Advanced mathematics Pass at least 1 course of the following list
IA062 Randomized Algorithms and Computations
PřF:M8190 Number Theoretic Algorithms
MA017 Geometric Algorithms
MA015 Graph Algorithms
Choice of Seminar Obtain at least 4 credits by passing subjects of the following list
IA072 Seminar on Verification
IV115 Parallel and Distributed Laboratory Seminar
IV131 Seminar of Discrete Methods and Algorithms Laboratory
IV125 Formela lab seminar
IA174 Fundaments of Cryptography
IA101 Algorithmics for Hard Problems

Recommended course of study

Fall 2021 (1. term)
Spring 2022 (2. term)
Fall 2022 (3. term)
Spring 2023 (4. term)

Specialization: Quantum and other Nonclassical Computational Models

Specialization Quantum and other Nonclassical 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

IV100 Parallel and distributed computations
IA062 Randomized Algorithms and Computations
IA066 Introduction to Quantum Computing
IA082 Physical concepts of quantum information processing
IA101 Algorithmics for Hard Problems
IA174 Fundaments of Cryptography
PV056 Machine Learning and Data Mining
PV275 Introduction to Quantum Computer Programming

Recommended course of study

Fall 2021 (1. term)
Spring 2022 (2. term)
Fall 2022 (3. term)
Spring 2023 (4. term)

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 subjects of the specialization

IA023 Petri Nets
IA159 Formal Verification Methods
IA168 Algorithmic game theory
IA169 System Verification and Assurance
IV120 Continuous and Hybrid Systems
PV260 Software Quality
Choice of Seminar Obtain at least 4 credits by passing subjects of the following list
IA072 Seminar on Verification
IV115 Parallel and Distributed Laboratory Seminar
IV131 Seminar of Discrete Methods and Algorithms Laboratory
IV125 Formela lab seminar

Recommended course of study

Fall 2021 (1. term)
Spring 2022 (2. term)
Fall 2022 (3. term)
Spring 2023 (4. term)

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

IA010 Principles of Programming Languages
IA014 Advanced Functional Programming
Advanced Types Pass at least 1 course of the following list
IA038 Types and Proofs
IA081 Lambda calculus
IA158 Real Time Systems
IV010 Communication and Parallelism
PA008 Compiler Construction
PA037 Compiler Project

Recommended course of study

Fall 2021 (1. term)
Spring 2022 (2. term)
Fall 2022 (3. term)
Spring 2023 (4. term)