- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Авторы на K
Новости
22 Сентября, 2025
Уведомление об изменении Соглашения о формировании Консорциума участников по поддержке Технологического центра исследования безопасности ядра Linux
19 Сентября, 2025
XV Международная конференция по компьютерным наукам и информационным технологиям — CSIT 2025
14 Августа, 2025
Конкурс на замещение должности
K
Kach A.M.Kaddah D.
Kahr A.S.
Kalantari I.
Kalimullin I. Sh.
Kalmár L
Kanda A.
Kaphengst H.
Karp C.
Kastanas J.G.
Kastermans B.
Kechris A.S.
KentCF
KentT
Khoussainov B. M.
Kierstead H.
Kinber E. B.
Kjos-Hanssen B.
Kleene S. C.
Kleinberg E.M.
Klette R.
Knight J.F.
KoKI
Kochen S.
Kolaitis P.G.
Kolmogorov A.N.
Kontostathis K.
Kramer R.
Kreisel G.
Kripke S.
Kristiansen L.
Krom M.
Kučera A.
Kudinov O.V.
Kumabe M.
Kumar R.
Kummer M.
Kurtz S.A.