The program educates research and development specialists in the form of independent research tasks in theoretical computer science and artificial intelligence.Students will learn to formulate their own research goals, prepare a project proposal that would lead to their achievement, and present the results in an international environment. They will also gain experience in teaching students, which includes the management of final theses. In addition to the broader formal basics of informatics, students will acquire deep knowledge in some of the specializations, such as: design of algorithms and data structures including their analysis, representation of knowledge, study and use of modern cognitive approaches.

The program prepares experts for research and development in the areas of Theoretical Computer Science and Artificial Intelligence. Education is implemented by doing independent research under the supervision of senior experts. Students learn how to formulate research goals, prepare a project proposal to achieve the set goals, and present the results in the international environment. Further, they gain experience teaching and mentoring students including thesis supervision.