Технологии программирования


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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