В ВШЭ сотрудники отдела ведут ряд семинаров:

  • “Системное программирование” (д.ф.-м.н. А.К. Петренко);
  • “Тестирование ПО/Обеспечение качества и тестирование ПО” (Елена Сергеевна Кузьмина и Денис Викторович Кильдишев);
  • “Компонентно-ориентированное программирование” (к.т.н. Ефим Михайлович Гринкруг).

Учебные курсы, которые ведут сотрудники отдела:

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