Instituto de Programação de Sistema - Institute for System Programming

Instituto de Programação de Sistema
Moscou. Kommunistichesky Lane.jpg
Estabelecido 1994, baseado no Institute for Cybernetics Problems
Tipo de pesquisa Ciência da Computação
Diretor Arutyun Avetisyan

O Instituto de Programação de Sistemas (ISP) da Academia Russa de Ciências (RAS; Russo : Институт системного программирования ) foi fundado em 25 de janeiro de 1994, com base nos departamentos de Programação de Sistemas e Software Numérico do Institute for Cybernetics Problems of o RAS. O ISP RAS pertence à Divisão de Ciências Matemáticas da RAS.

Grupos R e D

Departamento de Tecnologias de Compiladores
O departamento é especializado na aplicação da abordagem do compilador a diferentes campos da ciência da computação, bem como na otimização do desenvolvimento e design de compiladores modernos. Os primeiros projetos de compilador começaram no início dos anos 1980. A recente atividade de pesquisa da equipe está concentrada em programação paralela e engenharia reversa .
Departamento de Arquitetura de Sistemas Computacionais
As principais direções das atividades de pesquisa do departamento estão relacionadas com a implementação efetiva de arquiteturas de rede e plataformas de hardware para redes locais e globais.
Departamento de Sistemas de Informação
As principais atividades do departamento: DBMS relacional multiusuário totalmente funcional , tecnologia baseada em CORBA para sistemas de informação distribuídos, tecnologia baseada em XML para integração de dados heterogêneos, banco de dados XML nativo Sedna , mineração de texto e recuperação de informação .
Departamento de Ferramentas de Desenvolvimento de Software
A direção principal é a criação de ferramentas que suportem a especificação formal e linguagens de modelagem, facilitando o processo de desenvolvimento.
Departamento de Engenharia de Software
O espectro da pesquisa científica do departamento cobre uma ampla gama de Engenharia de Software , incluindo análise de programas e seus modelos, verificação e validação, questões de padronização, incluindo desenvolvimento de padrões de software abertos, vários aspectos de desenvolvimento, manutenção e evolução de software junto com métodos de educação e implantação de tecnologias avançadas.
Departamento de Programação do Sistema
As atividades de pesquisa do departamento estão na área de análise estática de programa , escavação de arquitetura usando código de programa e visualização de modelo de arquitetura de software, modelagem de arquitetura e geração de código usando modelo de software.
Departamento Teórico de Ciência da Computação
Os membros do departamento são especialistas em diferentes ramos da matemática e da ciência da computação teórica: combinatória , complexidade de cálculos , métodos probabilísticos, lógica matemática , métodos formais de análise de programas, programação lógica , criptografia matemática .

Conselhos

Conselho acadêmico
A principal tarefa do conselho é a coordenação de programas de pesquisa e científicos voltados para a priorização de novos rumos importantes.
Conselho de dissertação
Pertencer ao conselho de dissertação do Instituto D.002.087.01 considera candidaturas a graus científicos de candidato e doutor em ciências físicas e matemáticas e técnicas de acordo com a norma de qualificação 05.13.11 “Suporte matemático e programático para computadores, seus complexos e redes ”.

Centros

Centro de Verificação do Sistema Operacional Linux
A missão do Centro é propagar a plataforma Linux , garantindo sua alta confiabilidade e compatibilidade por meio do uso de padrões abertos e tecnologias avançadas de teste e verificação.
Centro de competência em computação paralela e distribuída
O objetivo do centro é aumentar significativamente o uso de computações paralelas e distribuídas nas áreas de atividades educacionais, de pesquisa e de produção de organizações russas.

links externos

Coordenadas : 55,7450 ° N 37,6645 ° E 55 ° 44 42 ″ N 37 ° 39 ″ 52 ″ E  /   / 55,7450; 37,6645