Институт системного программирования
 | |
| Учредил | 1994 г., на базе Института проблем кибернетики |
|---|---|
| Тип исследования | Информатика |
| Директор | Арутюн Аветисян |
Институт системного программирования (ИСП) Российской академии наук (РАН ) был создан 25 января 1994 года [1] на базе отделов системного программирования и вычислительного обеспечения Института проблем кибернетики РАН. ИСП РАН входит в состав Отделения математических наук РАН .
Группы НИОКР
Отделение компиляторных технологий (CTT): Отделение специализируется на применении компиляторного подхода к различным областям компьютерной науки, а также на разработке и проектировании современных оптимизирующих компиляторов. Последняя исследовательская деятельность команды сосредоточена на параллельном программировании и обратном проектировании . [2]
Кафедра архитектуры вычислительных систем (КАС): организована в 1994 году. Основные направления научно-исследовательской деятельности кафедры связаны с реализацией сетевых архитектур и аппаратных платформ для локальных и глобальных сетей. [3]
Департамент информационных систем (MODIS): Основные направления деятельности департамента: многопользовательская полнофункциональная реляционная СУБД , технология на основе CORBA для распределенных информационных систем, технология на основе XML для интеграции гетерогенных данных, собственная XML-база данных Sedna , интеллектуальный анализ текста и поиск информации . [4]
Отдел инструментов разработки программного обеспечения: Основное направление — создание инструментов, поддерживающих формальные языки спецификации и моделирования , а также облегчающих процесс разработки.
Факультет программной инженерии (SE): Спектр научных исследований факультета охватывает ряд направлений программной инженерии , включая анализ программ и их моделей, верификацию и валидацию, вопросы стандартизации, включая разработку открытых стандартов программного обеспечения, различные аспекты разработки, сопровождения и развития программного обеспечения вместе с методами обучения и внедрения передовых технологий. [5]
Кафедра системного программирования: Научно-исследовательская деятельность кафедры лежит в области статического анализа программ , разработки архитектуры с использованием программного кода и визуализации модели архитектуры программного обеспечения, моделирования архитектуры и генерации кода с использованием модели программного обеспечения. [6]
Кафедра теоретической информатики: Членами кафедры являются специалисты в различных областях математики и теоретической информатики: комбинаторика , сложность вычислений , вероятностные методы, математическая логика , формальные методы анализа программ, логическое программирование , математическая криптография . [7]
Советы
Ученый совет: Основной задачей совета является координация научно-исследовательских и программ, направленных на определение приоритетов новых важных направлений. [8]
Диссертационный совет: Входящий в состав Института Диссертационный совет Д.002.087.01 рассматривает материалы диссертационных исследований на соискание ученых степеней кандидата и доктора физико-математических и технических наук по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, их комплексов и сетей» [9] .
Центры
Центр верификации операционной системы Linux: Миссия Центра — популяризация платформы Linux путем обеспечения ее высокой надежности и совместимости за счет использования открытых стандартов и передовых технологий тестирования и верификации.
Центр компетенций в области параллельных и распределенных вычислений: Целью центра является существенное увеличение использования параллельных и распределенных вычислений в сферах образовательной, научной и производственной деятельности российских организаций. [10]
Ссылки
- ^ "Институт системного программирования Российской академии наук (ИСП РАН): OSADL - Open Source Automation Development Lab eG". OSADL . Получено 2024-10-30 .
- ^ "Компиляторные технологии". www.ispras.ru . Проверено 30 октября 2024 г.
- ^ "О кафедре архитектуры вычислительных систем". www.ispras.ru . Получено 2024-10-30 .
- ^ "Отделы информационных систем". www.ispras.ru . Получено 2024-10-30 .
- ^ "Отдел программной инженерии". www.ispras.ru . Получено 2024-10-30 .
- ^ "Кафедра системного программирования". www.ispras.ru . Получено 2024-10-30 .
- ^ "Теоретическая информатика". www.ispras.ru . Проверено 30 октября 2024 г.
- ^ "Ученый совет ИСП РАН". www.ispras.ru . Получено 2024-10-30 .
- ^ "Диссертационный совет института Д.002.087.01". www.ispras.ru . Получено 2024-10-30 .
- ^ "О Центре передового опыта по параллельным и распределенным вычислениям". www.ispras.ru . Получено 2024-10-30 .
Внешние ссылки
- Институт системного программирования
- Профиль компании в Linux Foundation
- Центр верификации операционной системы Linux
55°44′42″с.ш. 37°39′52″в.д. / 55,7450°с.ш. 37,6645°в.д. / 55,7450; 37,6645
