Research organization focuses on system programming. Develops advanced technologies in operating systems, compilers, parallel and distributed computing, verification, software testing, Big Data, and semantic search. Key goal is high-quality training in IT. Offers courses at leading universities.