Институт системного программирования

Институт системного программирования

Учредил	1994, на базе Института проблем кибернетики.
Тип исследования	Информатика
Директор	Арутюн Аветисян

Институт системного программирования (ИСП) Российской академии наук (РАН; русск .: Институт системного программирования ) основан 25 января 1994 года на базе кафедры системного программирования и численного программного обеспечения Института проблем кибернетики им. РАН. ИСП РАН входит в состав Отделения математических наук РАН.

группы исследований и разработок

Отдел компиляторных технологий: Отдел специализируется на применении компиляторного подхода в различных областях информатики, а также на разработке и проектировании современных оптимизирующих компиляторов. В последнее время исследовательская деятельность команды сосредоточена на параллельном программировании и реверс-инжиниринге .

Кафедра архитектуры вычислительных систем: Основные направления научно-исследовательской деятельности кафедры связаны с реализацией сетевых архитектур и аппаратных платформ для локальных и глобальных сетей.

Кафедра информационных систем: Основные направления деятельности кафедры: многопользовательские полнофункциональные реляционные СУБД , CORBA -технология для распределенных информационных систем, XML -технология для интеграции разнородных данных, собственная XML-база данных Sedna , интеллектуальный анализ текста и поиск информации .

Отдел средств разработки программного обеспечения: Основное направление — создание инструментов, поддерживающих языки формальной спецификации и моделирования и упрощающих процесс разработки.

Отдел разработки программного обеспечения: Спектр научных исследований отдела охватывает широкий спектр программной инженерии , включая анализ программ и их моделей, верификацию и валидацию, вопросы стандартизации, включая разработку стандартов открытого программного обеспечения, различные аспекты разработки, обслуживания и развития программное обеспечение вместе с методами обучения и внедрением передовых технологий.

Отдел системного программирования: Исследовательская деятельность отдела лежит в области статического анализа программ , исследования архитектуры с использованием программного кода и визуализации модели архитектуры программного обеспечения, моделирования архитектуры и генерации кода с использованием модели программного обеспечения.

Кафедра теоретической информатики: Сотрудники кафедры — специалисты в различных областях математики и теоретической информатики: комбинаторика , сложность вычислений , вероятностные методы, математическая логика , формальные методы программного анализа, логическое программирование , математическая криптография .

Советы

Ученый совет: Основной задачей совета является координация исследований и научных программ, направленных на определение приоритетности новых важных направлений.

Диссертационный совет: В составе Института Диссертационный совет Д.002.087.01 рассматривает заявки на соискание ученых степеней кандидата и доктора физико-математических, и технических наук по квалификационному стандарту 05.13.11 «Математическое и программное обеспечение вычислительных машин, их комплексов». и сети».

Центры

Центр проверки операционной системы Linux: Миссией Центра является распространение платформы Linux путем обеспечения ее высокой надежности и совместимости за счет использования открытых стандартов и передовых технологий тестирования и проверки.

Центр компетенций в области параллельных и распределенных вычислений: Целью центра является значительное увеличение использования параллельных и распределенных вычислений в сферах образовательной, исследовательской и производственной деятельности российских организаций.

Внешние ссылки

• Институт системного программирования
• Профиль компании в Linux Foundation
• Центр верификации операционной системы Linux