- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
M
Maass W.Mac Queen D.
Machover M.
Machtey M.
MacintyreA
MacIntyreJM
Madan D.B.
Mahaney S.R.
Mahn F.K.
Maier W.
Mainhardt G.
Maksimova L. L.
Malcev A.I.
Manasse M.
Manaster A. B.
Marandzjan G. B.
Marcone A.
Marker D.
Marques I.
MartinDA
MartinG
Matiyasevich Yu.V.
Mayoh B.H.
McCarthyC
McCarthyJ
McCoy Ch.F.D.
McCreight E.M.
McEvoy K.
McKenzie R.
McKinsey J. C. C.
McLaughlin T.G.
McNicholl T. H.
McNulty G.
Melhorn K.
Melzak Z.A.
Mendelson E.
Menzel W.
Merkle W.
Metakides G.
MeyerAR
Mihailovich N. J.
Mileti J.R.
MillarRC
MillarTS
MillerD
MillerJS
MillerRG
MillerS
MillerW
Mills C.F.
Minsky M.L.
Mitchell R.
Moggi E.
Moh Shaw-kwei
Mohrherr J.
Moldestad J.
Moll R.
Monk J.D.
Montagna F.
Montalban A.
MooreD
MooreEF
Morley M.D.
Morozov A.S.
Morris P.B.
Moschovakis Y.N.
Moses M.F.
Mostowski A.
MouradJ
MouradKJ
Mrowka S.
MuchnikAn.A.
Muraki H.
Myasnikov A.G.
Mycka J.
Myhill J.
Mytilinaios M.E.