- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Новости
19 Сентября, 2024
Открыт приём заявок на премию «За верность науке»
16 Сентября, 2024
Защита диссертаций
19 Августа, 2024
6-8 сентября состоятся выборы в Московскую городскую Думу
C
Calhoun W.Calude C.
Calvert W.
Cannonito F.B.
Carnielly W.A.
Carpentier A.
Carroll J.S.
Carstens H.G.
Casalegno P.
CaseJ
Catlin S.
Cay L.
Cenzer D
Chaitin G.
ChenJ
ChenKeh Hsun
ChenZhixiang
Chisholm J.
Cholak P.
Chong C.T.
Chubb J.
Church A.
Clarke D.A.
Cleave J.P.
Clote P.
Cobham A.
Cohen P.F.
Coles R. J.
Constable R.L.
Cooper S. B.
CopestakeCS
CopestakeK
Criscuolo G.
Crossley J.
Csima B.
Cutland N. J.