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 partners of the Institute are Samsung, Huawei and others. One of the main ISP RAS goals is top-qualification training in the IT sector. The Institute provides its courses at leading universities.