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