This programme trains developers and researchers in developing cutting-edge technologies for building system software as well as tools for the analysis, transformation and construction of software and hardware/software systems. Inspired by the achievements of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, the curriculum covers a wide range of scientific and engineering disciplines, including formal methods of software development, design of compilators and operating system kernels and the intellectual analysis of texts and data flows. Students have the opportunity to participate in research projects supported by companies both in Russia and abroad.