Институт системного программирования - Institute for System Programming

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

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

Группы R и D

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

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

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

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

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

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

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

Советы

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

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

Центры

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

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

внешняя ссылка

Координаты: 55 ° 44′42 ″ с.ш. 37 ° 39′52 ″ в.д. / 55,7450 ° с. Ш. 37,6645 ° в. / 55.7450; 37.6645