Institute for System Programming, Instituto de pesquisa na rua Alexander Solzhenitsyn, Moscou, Rússia.

O Instituto de Programação de Sistemas é um centro de pesquisa da Academia de Ciências da Rússia em Moscou dedicado ao design de compiladores, sistemas operacionais, computação paralela e verificação de software. A instituição aborda problemas fundamentais da ciência da computação e desenvolve soluções práticas para desafios complexos de programação.

Esta instituição foi estabelecida em 1994 a partir de departamentos que previamente pertenciam ao Instituto de Problemas de Cibernética e rapidamente se focou em pesquisa de software de sistemas. Seu crescimento refletiu os avanços tecnológicos na computação durante os anos noventa e décadas subsequentes.

As equipes de pesquisa mantêm projetos de código aberto no GitHub, incluindo ferramentas para relatórios de falhas e análise de documentos.

O acesso à instituição é normalmente restrito a visitantes profissionais ou visitas pré-agendadas, já que funciona como um centro de pesquisa. Aqueles interessados em visitar devem entrar em contato com a organização com antecedência para confirmar as condições de acesso.

A instituição opera um centro especializado focado em melhorar a confiabilidade da plataforma Linux através de testes abrangentes. Este trabalho afeta sistemas usados por milhões de pessoas globalmente, embora poucos conheçam a contribuição.