Заведующий отделом: д.ф.-м.н., профессор Александр Константинович Петренко.

Число сотрудников: около 100 человек.

Сфера научных интересов: верификация программных и программно-аппаратных систем, операционные системы (в том числе разработка ОС реального времени, развитие ядра операционной системы Linux), встроенные системы и системы реального времени, моделирование программных систем, в том числе при помощи функциональных языков с зависимыми типами, телекоммуникационные протоколы, распределённые системы и др.

Технологии, разработанные сотрудниками отдела: AstraVer Toolset, ОСРВ JetOS, Klever, MASIW, Requality, Retrascope, MicroTESK.

На кафедре системного программирования ВМК МГУ исследования по научным направлениям отдела ведутся в рамках спецсеминара «Корректность программ и операционные системы».

Еженедельно в ИСП РАН проводится внутренний семинар отдела. Семинар ведёт заведующий отделом, д.ф.-м.н. А.К. Петренко.

А.К. Петренко − сопредседатель программного комитета ежегодной Весенней конференции молодых учёных по программной инженерии (Spring Young Researchres Colloquium on Software Engineering − SYRCoSE). Конференция позволяет студентам, аспирантам и другим молодым учёным поделиться результатами своих исследований, а также получить опыт написания и презентации научных докладов в современном формате. Конференция проводится на английском языке. В программный комитет входит ряд других сотрудников ИСП РАН.