El Instituto de Programación de Sistemas (ISP) de la Academia Rusa de Ciencias (RAS; ruso : Институт системного программирования ) fue fundado el 25 de enero de 1994 [1] , sobre la base de los departamentos de Programación de Sistemas y Software Numérico del Instituto de Problemas Cibernéticos de la RAS. ISP RAS pertenece a la División de Ciencias Matemáticas de la RAS.
Departamento de Tecnologías de Compiladores (CTT): El departamento está especializado en la aplicación del enfoque de compiladores a diferentes campos de la informática, así como en el desarrollo y diseño de compiladores optimizadores modernos. La actividad de investigación reciente del equipo se concentra en la programación paralela y la ingeniería inversa . [2]
Departamento de Arquitectura de Sistemas Informáticos (CSA): Organizado en 1994. Las principales direcciones de las actividades de investigación del departamento han estado relacionadas con la implementación de arquitecturas de red y plataformas de hardware para redes locales y globales. [3]
Departamento de Sistemas de Información (MODIS): Las principales actividades del departamento: DBMS relacional completamente funcional y multiusuario , tecnología basada en CORBA para sistemas de información distribuidos, tecnología basada en XML para la integración de datos heterogéneos, base de datos XML nativa Sedna , minería de texto y recuperación de información . [4]
Departamento de Herramientas de Desarrollo de Software: La dirección principal es la creación de herramientas que respalden los lenguajes de especificación y modelado formal y faciliten el proceso de desarrollo.
Departamento de Ingeniería de Software (SE): El espectro de la investigación científica del departamento cubre una gama de ingeniería de software , incluyendo el análisis de programas y sus modelos, verificación y validación, cuestiones de estandarización incluyendo el desarrollo de estándares de software abiertos, varios aspectos del desarrollo, mantenimiento y evolución del software junto con métodos de educación e implementación de tecnologías avanzadas. [5]
Departamento de Programación de Sistemas: Las actividades de investigación del departamento se centran en el área de análisis estático de programas , excavación de arquitectura utilizando código de programa y visualización de modelo de arquitectura de software, modelado de arquitectura y generación de código utilizando modelo de software. [6]
Departamento de Informática Teórica: Los miembros del departamento son especialistas en diferentes ramas de las matemáticas y la informática teórica: combinatoria , complejidad de cálculos , métodos probabilísticos, lógica matemática , métodos formales de análisis de programas, programación lógica , criptografía matemática . [7]
Consejo académico: La tarea principal del consejo es la coordinación de programas científicos y de investigación orientados a la priorización de nuevas direcciones importantes. [8]
Consejo de tesis: El Consejo de tesis D.002.087.01, que forma parte del Instituto, considera las solicitudes para los grados científicos de candidato y doctor en ciencias físicas, matemáticas y técnicas de acuerdo con el estándar de calificación 05.13.11 "Soporte matemático y de programas para computadoras, sus complejos y redes". [9]
Centro de Verificación del Sistema Operativo Linux: La misión del Centro es propagar la plataforma Linux asegurando su alta confiabilidad y compatibilidad mediante el uso de estándares abiertos y tecnologías avanzadas de pruebas y verificación.
Centro de competencia en computación paralela y distribuida: el objetivo del centro es aumentar significativamente el uso de la computación paralela y distribuida en las áreas de actividades educativas, de investigación y de producción de las organizaciones rusas. [10]
55°44′42″N 37°39′52″E / 55.7450, -37.6645
{{cite web}}: CS1 maint: estado de la URL ( enlace )