brand

Учебные курсы


Новости

28 Октября, 2025 Конкурс на замещение должности
23 Октября, 2025 Конкурс на замещение должности
17 Октября, 2025 Конкурс на замещение должности

Учебные курсы

Спецсеминар «Корректность программ»

д.ф.-м.н. Петренко Александр Константинович, к.ф.-м.н. Хорошилов Алексей Владимирович, к.ф.-м.н. Кулямин Виктор Вячеславович. ВМК МГУ, 3-4 курс.

Верификация программного обеспечения, часть 1

к.ф.-м.н. Мутилин Вадим Сергеевич. МФТИ, 10 семестр (1 курс магистратуры).

Компьютерные сети и информационная безопасность

к.ф.-м.н. Гетьман Александр Игоревич, к.т.н. Маркин Юрий Витальевич. Продолжение базового курса по компьютерным сетям и сетевым технологиям. Читается на 1 или 2 курсе магистратуры ВМК МГУ, МФТИ и ФКН ВШЭ (осенний семестр).

Конструирование ядра операционной системы

к.ф.-м.н. Хорошилов Алексей Владимирович. полугодовой курс (осенью на ВМК МГУ, весной в ВШЭ и МФТИ).

Тестирование ПО

к.ф.-м.н. Кулямин Виктор. Весенний полугодовой курс. Читается на ВМК МГУ, а также на ФКН ВШЭ под названием "Обеспечение качества и тестирование ПО".

Основы программной инженерии

к.ф.-м.н. Кулямин Виктор Вячеславович. Полугодовой курс. ВМК МГУ.

Дедуктивный анализ программ

проф., д. ф.-м. н. Петренко Александр Константинович, к.ф.-м.н. Хорошилов Алексей Владимирович, читает к.ф.-м.н. Корныхин Евгений Валерьевич. Весенний полугодовой курс, 2 курс магистратуры ВМК МГУ.

Верификация программного обеспечения, часть 2

к.ф-м.н. Камкин Александр Сергеевич. МФТИ, 11 семестр (2 курс магистратуры).

Обеспечение качества и тестирование

Кулямин Виктор Вячеславович, к.ф.-м.н., доцент. Курс читается для студентов ФКН ВШЭ.

Научно-исследовательский семинар "Системное программирование"

проф., д. ф.-м. н. Петренко Александр Константинович, проф., д. ф.-м. н. Аветисян Арутюн Ишханович. 3-й курс ФКН ВШЭ, 1-3 модуль.