Преподаватели
Аветисян Арутюн Ишханович
Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Заведующий кафедрой, Профессор
Параллельное программирование (2-й курс, 1, 2 модуль)
Семинар наставника (2-й курс, 1-3 модуль)
Семинар наставника (1-й курс, 1-4 модуль)
Гетьман Александр Игоревич
Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Доцент
Компьютерные сети и телекоммуникации (1-й курс, 1, 2 модуль)
Евтушенко Нина Владимировна
Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Профессор
Формальные методы программной инженерии. Дополнительные главы (2-й курс, 1, 2 модуль)
Зеленов Сергей Вадимович
Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Доцент
Прикладной системный анализ (1-й курс, 2 модуль)
Камкин Александр Сергеевич
Московский институт электроники и математики им. А.Н. Тихонова; Департамент компьютерной инженерии: Доцент; Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Доцент
Верификация программного обеспечения (1-й курс, 1, 2 модуль)
Кулагин Иван Иванович
Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Приглашенный преподаватель
Машинно-зависимые оптимизации в компиляторах (2-й курс, 1 модуль)
Мельник Дмитрий Михайлович
Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Приглашенный преподаватель
Компиляторные технологии 1 (1-й курс, 3, 4 модуль)
Компиляторные технологии 2 (2-й курс, 1 модуль)
Монаков Александр Владимирович
Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Приглашенный преподаватель
Параллельное программирование (2-й курс, 1, 2 модуль)
Петренко Александр Константинович
Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Профессор
Семинар наставника (2-й курс, 1-3 модуль)
Семинар наставника (1-й курс, 1-4 модуль)
Сорокин Константин Сергеевич
НИУ ВШЭ в Санкт-Петербурге; Санкт-Петербургская школа экономики и менеджмента; Департамент экономики: Старший преподаватель; НИУ ВШЭ в Санкт-Петербурге; Санкт-Петербургская школа экономики и менеджмента; Международная лаборатория теории игр и принятия решений: Научный сотрудник
Искусственный интеллект в тестировании и анализе программ (1-й курс, 1, 2 модуль)
Хорошилов Алексей Владимирович
Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Доцент
Конструирование ядра операционных систем (1-й курс, 3, 4 модуль)
Шокуров Александр Владимирович
Факультет компьютерных наук; Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Приглашенный преподаватель
Теоретическая криптография (2-й курс, 1, 2 модуль)