- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
- Об аспирантуре
- Приём в аспирантуру (2024)
- Памятка абитуриенту, поступающему на целевое обучение
- Приём в аспирантуру (2023)
- Приём в аспирантуру (2022)
- Особенности приёма в аспирантуру (2023)
- Основные сведения
- Структура и органы управления
- Документы
- Образование
- Расписание занятий и аттестаций
- Образовательные стандарты
- Научно-педагогический состав
- Материально-техническое обеспечение
- Стипендии и иные виды материальной поддержки
- Платные образовательные услуги
- Финансово-хозяйственная деятельность
- Вакантные места для приема (перевода)
- Электронная информационно-образовательная среда
- Списки аспирантов
Новости
16 Сентября, 2024
Защита диссертаций
19 Августа, 2024
6-8 сентября состоятся выборы в Московскую городскую Думу
Аннотации рабочих программ учебных дисциплин
Верификация моделей программ
Камкин А.С., к.ф.–м.н.
Динамическая компиляция
Гайсарян С.С., к.ф.–м.н.
Основы обработки текстовой информации
Турдаков Д.Ю., к.ф.–м.н.
Программная инженерия. Дополнительные главы
Кулямин В.В., к.ф.–м.н.
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Шнитман В.З., д.т.н.
Педагогика высшей школы
Чуйкова Н.В., к.пед.н.