Institute for System Programming of the Russian Academy of Sciences (ISPRAS) is the leading R&D organization in Russia in the field of system programming and software engineering. ISPRAS creates "the leading edge" technologies for the software industry. Activities range from fundamental/academic research to industrial development under contracts with the leading IT companies such as HP, Huawei, IBM, Intel, Linux Foundation, Microsoft, Nokia, Samsung and others.