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