Институт системного программирования им. В.П. Иванникова РАН


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

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

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

Спецсеминар «Корректность программ» посвящён методам построения сложных программных комплексов. 


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

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

Курс представляет собой введение в методы верификации программного обеспечения. Цель курса - познакомить с предметом верификации ПО, представить широкую палитру существующих методов и подходов, а также осветить преимущества и ограничения, присущие методам верификации.

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

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

Главная цель курса – дать теоретическое представление о современных сетевых технологиях и основах сетевой информационной безопасности. Основу курса составляет лекционный материал и практикумы, на которых студентам демонстрируются принципы и особенности работы отдельных сетевых протоколов и сервисов. Помимо этого, студентам выдаются практические задания для получения и закрепления навыков в применении наиболее интересных сетевых технологий.

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

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

Цель курса – знакомство на практике с основными принципами конструирования ядра операционной системы и сопутствующих понятий (планировщик, виртуальная память, прерывания, механизмы синхронизации, системные вызовы, файловые системы и др.).

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

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

Курс знакомит слушателей с основными проблемами проверки качества сложных программных систем и современными подходами к их решению на основе тестирования. Рассматриваются классические техники построения тестов на основе разбиения ситуаций на классы эквивалентности, а также техники, использующие конечные автоматы и комбинаторные схемы. Изучаются также интегрированные подходы, более пригодные для систем реальной сложности.

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

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

Курс знакомит слушателей с технологическими проблемами разработки крупномасштабных программных систем, отличающими ее от разработки небольших программ, а также с методами решения этих проблем. Кроме того, рассказывается о современных способах организации разработки таких систем на основе компонентных технологий на примере Web-приложений с использованием технологий J2EE и .NET.

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

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

Курс посвящен проблемам разработки ответственных программных систем с особым упором на вопросы формализации функциональных свойств систем и методы аналитической верификации. Студенты знакомятся с современными подходами и инструментами для верификации программ на языках системного и объектно-ориентированного программирования.

Эффективные алгоритмы

Автор: Д.ф.-м.н. Кузюрин Н.Н., Фомин С.А. Тип - Спецкурс по выбору для студентов 6-го курса МФТИ.


Курс посвящён поиску эффективных решений алгоритмически трудных задач.

Теоретические основы численного анализа

Автор: К.ф.-м.н. Шокуров А.В. Тип - Весенний спецкурс для 4 курса МФТИ, читается по средам в ИСП РАН.

Цель курса – формирование знаний и  навыков работы с основными  понятиями  и идеями теоретического численного анализа, а также подготовка к самостоятельной работе в этой области. 

 

Математическая логика

Автор: К.ф.-м.н. Захаров В.А. Тип - ВМК МГУ, МФТИ.

Распределённые алгоритмы

Автор: К.ф.-м.н. Захаров В.А. Тип - ВМК МГУ, МФТИ.

Сложность комбинаторных алгоритмов

Автор: Д.ф.-м.н. Кузюрин Н.Н., Фомин С.А. Тип - МФТИ, 3 курс; читается в ИСП РАН.

Вводный курс в теорию сложности.

Современные компьютеры и сети передачи данных

Автор: Шнитман Виктор Зиновьевич, д.т.н., заведующий отделом. Тип - 4 курс бакалавриата и 1 курс магистратуры ФУПМ МФТИ.


Курс посвящён изучению особенностей архитектур современных компьютеров и систем, а также современного состояния и тенденций стандартизации сетевых протоколов.

Анализ кода и информационная безопасность

Автор: Соловьев Михаил Александрович, к.ф.-м.н. Тип - Полугодовой осенний курс. Читается для магистров 1 года обучения на кафедре СП ВМК МГУ.

Курс посвящен главным темам в области анализа кода, в том числе статическому анализу с целью поиска ошибок, фаззингу и символьному выполнению, анализу бинарного кода, статическому дизассемблированию и др. Изучаются также вопросы сетевой безопасности и технологии разработки безопасного ПО. Курс состоит из еженедельных лекций и нескольких практических занятий.

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

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

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

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

Курс знакомит слушателей с основными проблемами проверки качества сложных программных систем и современными подходами к их решению на основе тестирования. Рассматриваются как классические техники построения тестов на основе разбиения ситуаций на классы эквивалентности, а также использующие конечные автоматы и комбинаторные схемы, так и более пригодные для систем реальной сложности интегрированные подходы.

Конструирование оптимизирующих компиляторов

Автор: Гайсарян Сергей Суренович, к.ф.-м.н., доцент. Тип - Читается для студентов МФТИ (весенний полугодовой курс) и ВМК МГУ (осенний полугодовой курс).

Дисциплина «Конструирование оптимизирующих компиляторов» изучает методы и алгоритмы оптимизации процедур и программ в целом (все процедуры и библиотеки, участвующие в сборке программы), а также применение указанных технологий для обнаружения уязвимостей и других дефектов программ как в исходном коде (на языке высокого уровня), так и в машинном коде современных компьютеров.

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

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

НИС "Системное программирование" предназначен для студентов ВШЭ (бакалавров 3-4 курсов и магистров 1-2 курсов). Отбор студентов производится с 3 курса и до получения диплома бакалавра (с возможностью дальнейшего обучения в магистратуре). Семинар курирует базовая кафедра ИСП РАН в ВШЭ.

Научная визуализация

Автор: Профессор Семенов Виталий Адольфович, д.ф.-м.н. Тип - Осенний полугодовой курс для студентов ВШЭ и МФТИ.

Цель курса – освоение студентами фундаментальных знаний в области визуализации и в связанных с ней разделах компьютерной графики и вычислительной геометрии. Особое внимание в курсе уделяется базовым принципам визуализации, особенностям постановок задач, возникающих в разных предметных областях, а также важнейшим вычислительным методам и алгоритмам, применяемым при их решении.

Алгоритмы и алгоритмические языки

Автор: Белеванцев Андрей Андреевич, д.ф-м.н. Тип - Осенний полугодовой курс для студентов 1 курса ВМК МГУ.

Курс читается в качестве вводного программистского курса на факультетете ВМК МГУ и состоит из трех разделов: введение в теорию алгоритмов, язык программирования Си, и алгоритмы и структуры данных.

Теоретическая криптография.

Автор: Варновский Н.П. Тип - Осенний годовой курс для студентов МФТИ и ВМК МГУ.

Основное назначение курса – изложение математических основ информационной безопасности. Акцент делается на доказуемой стойкости, в отличие от широко распространённого подхода, состоящего в разъяснении изощрённых методов криптографической защиты. Курс не требует никаких предварительных знаний в области криптографии. Необходимо знакомство с основами моделей вычислений и теории сложности вычислений.

Теоретические основы численного анализа.

Автор: Шокуров А.В. Тип - Весенний полугодовой курс.

Целью курса является ознакомление студентов с математическим аппаратом аппроксимации функций. Ознакомившись с этим курсом, студенты станут лучше понимать возможности и ограничения при программировании функций на компьютерах. Предполагается знание основных элементов функционального анализа.

Решётки, алгоритмы, теория чисел и современная криптография.

Авторы: Д.ф.-м.н. Кузюрин Н.Н., к.ф.-м.н. Шокуров А.В. Тип - Весенний полугодовой курс для студентов МФТИ.

Цель учебного курса – ознакомление студентов с важнейшими современными инструментами построения криптосистем, использующими методы теории чисел и алгебраической геометрии. Особое внимание уделяется методам, использующим решётки в евклидовом пространстве. Основой для использования такого подхода являются предположения о сложности некоторых  задач на решётках.

Архитектура ЭВМ и язык ассемблера

Автор: Падарян Вартан Андроникович, к.ф-м.н., доцент. Тип - Весенний полугодовой курс для студентов 1-го курса ВМК МГУ.

Данный курс имеет своей целью изучение базовых принципов устройства современных ЭВМ, анализ качественных и количественных характеристик различных компонент ЭВМ, анализ влияния этих характеристик на работу прикладных программ. Помимо того, в рамках курса предполагается практическое освоение языка ассемблера архитектуры IA-32, изучение особенностей этой процессорной архитектуры, изучение взаимосвязей между архитектурой набора команд, механизмами реализации языка Си и системой программирования.

Базы данных

Автор: Кузнецов Сергей Дмитриевич, д.т.н., профессор. Тип - Осенний полугодовой курс для студентов 3-го курса (ВМК, ВШЭ, МФТИ).

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

Автор: Турдаков Денис Юрьевич, к.ф.-м.н. Лекторы: Андрианов И.А., Майоров В.Д., Сысоев А.А. Тип - Осенний полугодовой курс для студентов 3-5 курсов ВМК МГУ.

Курс знакомит слушателей с основными проблемами компьютерной обработки текстов и современными подходами к их решению. Рассматриваются как фундаментальные понятия и идеи, так и современные исследования в данной области. Особое внимание уделяется применению методов машинного обучения, которые активно развиваются в настоящее время и показывают лучшие результаты.