Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) is a research organization specializing in system programming. The Institute develops world class technologies in such fields as operating systems, compiler technologies, parallel and distributed computing, verification and software testing technologies, Big Data, semantic search, etc.

Among the long-term domestic partners of the Institute are: State Research Institute of Aviation Systems, VimpelCom Ltd., Quant, Oreon, among the foreign – Samsung, Huawei, Dell EMC, HPE, Intel, Nvidia, Rogue Wave, Linux Foundation. Many of them took part in setting up joint laboratories. One of the main objectives of ISP RAS is top-qualification manpower training in the IT sector.

The Institute provides its own post-graduate courses as well as hosts chairs at MSU, MIPT and HSE. Also, ISP RAS implements joint projects with leading university and research centers, such as Cambridge University (the UK), Carnegie-Mellon University (the USA), INRIA (France), Passau University (Germany), and others.

• Research Center of the Trusted Artificial Intelligence ISP RAS

• Institute for System Programming, Russian Academy of Sciences