Ivannikov Institute for System Programming of the RAS
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.