Theoretical Informatics

Expand all the items

The aim of the study programme is preparing students for scientific and research work in informatics or related disciplines and also to give a good grounding to students with very ambitious goals in informatics.


After successfully completing his/her studies the graduate is able to:

  • Understand formal and mathematical terms occuring in informatics.
  • Model and formalise problems of computer science.
  • Precisely formulate her own ideas.

Graduates get a broad theoretical base for their doctoral studies and partly basic knowledge and practical skills useful for a career in informatics. Graduates can choose several orientations of their studies. For example, a model and complexity orientation or semantics and logic orientation.


Standard duration of studies is four semesters. In order to be admitted to take the final state examination, students must acquire in total 120 ECTS credits for required, selective and elective courses. Required subjects constitute the basis of the disciplines. Students choose the selective courses according to their interests and intended professional specialisation. During the course of their studies, students should follow the course catalogue for their year of matriculation. The catalogue shows a recommended course of study including suggestions for selective courses. Students can access the course catalogue at the Office for Studies or through the faculty website:


The final state examination consists of a diploma thesis defence and an oral exam aimed at checking the field-related knowledge of the students. There is no written preparation to the exam and the student answers two to three questions asked by the examination committee. The final state examination typically takes about sixty minutes, half of which is taken by the thesis defence and half by the oral exam.

More information about the final state exam and the questions can be found at the faculty website:


After the completion of the Master’s studies, students may choose to continue their studies in any Doctoral degree programme at Faculty of Informatics (after satisfying the admission requirements).


Field of study specifications

Field of Study: Theoretical Informatics
Abbreviation: TEI
Code: 1801T010
Type: Advanced Master's state examination
Degree: RNDr.
Accreditation: to 31/12/2024
Programme: R1801 Rig-IN Informatics
Faculty of Informatics
Field of study guaranteed by:
Faculty of Informatics