- Об институте
- Инновации
- Структура
                    - Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
 
- Образование
- Издания
- Новости
- Лицензии
Новости
		
			23 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			17 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			10 Октября, 2025
				            Защита диссертаций
		
	
S
Sacks G.E.Salts M.C.
Sanches L.
Sankappanavar H.P.
Sasso L.P.
Schaefer M.
Schaeffer B.
Schäfer G.
Schinzel B.
Schmerl J.H.
Schmidt D.
Schmitz H.
Schnorr C. P.
Schwabhauser W.
Schwarz S. T.
Schwichtenberg H.
Scott D.
Seetapun D.
Seidenberg A.
Seigneur A.
Selivanov V.L.
Selman A.L.
Semenov A.L.
Semukhin P.
Shapiro N.
Shavrukov V. Yu.
Shelach S.
Shen A.Kh.
Shepherdson J.C.
Shi Nian Dong
Shinoda J.
Shlapentokh A.
Shoenfield J.R.
Shore R.A.
Silibovski S.
Simon J.
Simpson S.G.
Skolem T.
Skordev D.
Skvortsova E.Z.
Slaman T. A.
Slinko A.
Smith R.L.
Smuga-Otto M. J.
Smullyan R.M.
Soare R. I.
SolomonDR
SolomonR
Solon B.
Solovay R.M.
Sorbi A.
SoskovIN
SoskovaAA
SoskovaMI
Spector C.
Sperschneider V.
Spreen D.
Stanley L.
Stearns R.E.
Steel J.R.
Stefani S.
Stephan F.
Stephen B.
Stewart F.M.
Steyaert J.M.
Stillwell J.
Stob M.
Stockmeyer L.J.
Stoltenberg-Hansen V.
StrongHR
Sturgis H. E.
Su Kaile
Surányi J.
Suzuki Y.
Szmielew W.
 
 
            		