stringtranslate.com

Instituto de Programación de Sistemas

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.

Grupos de I+D

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]

Consejos

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]

Centros

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]

Enlaces externos

55°44′42″N 37°39′52″E / 55.7450, -37.6645

  1. ^ "Instituto de Programación de Sistemas de la Academia Rusa de Ciencias (ISPRAS): OSADL - Open Source Automation Development Lab eG". OSADL . Consultado el 30 de octubre de 2024 .{{cite web}}: CS1 maint: estado de la URL ( enlace )
  2. ^ "Tecnologías completas". www.ispras.ru . Consultado el 30 de octubre de 2024 .
  3. ^ "Sobre el Departamento de Arquitectura de Sistemas Informáticos". www.ispras.ru . Consultado el 30 de octubre de 2024 .
  4. ^ "Departamentos de sistemas de información". www.ispras.ru . Consultado el 30 de octubre de 2024 .
  5. ^ "Departamento de Ingeniería de Software". www.ispras.ru . Consultado el 30 de octubre de 2024 .
  6. ^ "Departamento de Programación de Sistemas". www.ispras.ru . Consultado el 30 de octubre de 2024 .
  7. ^ "Теоретическая информатика". www.ispras.ru . Consultado el 30 de octubre de 2024 .
  8. ^ "Consejo académico de la ISP RAS". www.ispras.ru . Consultado el 30 de octubre de 2024 .
  9. ^ "Consejo de tesis del instituto D.002.087.01". www.ispras.ru . Consultado el 30 de octubre de 2024 .
  10. ^ "Acerca del Centro de Excelencia para Computación Paralela y Distribuida". www.ispras.ru . Consultado el 30 de octubre de 2024 .