Факультет компьютерных наук, Департамент программной инженерии, Базовая кафедра «Системное программирование» Института системного программирования РАН