Курс посвящен изучению современного процесса проектирования ПО. Вы изучите классические и современные (agile) подходы к организации жизненного цикла ПО. Также затронете вопросы инженерии требований, управления риском, инструментальной поддержки процесса разработки. На практических занятия вы будете работать над групповыми проектами по разработке ПО.

Курс посвящен изучению основ вычислительной логики — дисциплины, объединяющей традиционную математику и информатику, которые применяются на практике при создании средств анализа и верификации программ. Вы овладеете алгоритмами эффективного решения вычислительно трудных и даже алгоритмически неразрешимых задач (SAT- и SMT-решатели), изучите основы систем интерактивного доказательства теорем, теории моделей и теории доказательств для логик высказываний и первого порядка.

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

Вы научитесь разрабатывать алгоритмы в рамках парадигмы функционального программирования, оценивать их качество и производительность, и проектировать и реализовывать неизменяемые структуры данных. Овладеете средствами разработки на языке функционального программирования Haskell.

Вы получите углубленные знания в области разработки и анализа параллельных алгоритмов и программ. Будут рассмотрены как теоретические разделы — задачи, графы зависимостей, способы распараллеливания задач, анализ эффективности параллельных алгоритмов, так и практические — параллельные алгоритмы обработки данных, lock-free алгоритмы, технологии параллельного программирования, разработка программ для гетерогенных вычислителей (GPU, CUDA). Вы сможете применить полученные знания на практике при реализации и анализе собственных параллельных программ.

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

Курс посвящен глубокому изучению одного из самых мощных языков программирования С++. Во время обучения вы рассмотрите особенности ручного управления памятью в программах, а также основные возможности C++: const-correctness, умные указатели, объектно-ориентированное программирование, перегрузка операторов, виртуальные функции. На практиках вы реализуете небольшие проекты и пройдете рецензирование кода.

Вы освоите принципы и технологии создания децентрализованных распределенных систем, изучите протоколы децентрализованных систем, алгоритмы консенсуса, которые в них применяются, технологии распределенного реестра и блокчейн-технологии (Bitcoin, Ethereum, Solana, Cosmos, Cardano, Hyperledger Fabric, R3 Corda). Получите представление о взаимодействии блокчейн-систем и применении алгоритмов доказательства с нулевым разглашением (zero-knowledge proof). Также освоите навыки реализации децентрализованных алгоритмов, развертывания систем распределенного реестра, разработки смарт-контрактов.

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

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

Курс посвящен теории и практике применения эффективного метода верификации программ — model checking. Вы овладеете темпоральной логикой, методами представления программ в виде автоматных моделей и изучите инструменты верификации методом model checking.

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

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

Дисциплина посвящена изучению устройства операционной системы и разработке модулей ядра (драйверов) Linux, стандарта POSIX, и отладке низкоуровневых программных компонентов. На курсе вы научитесь использовать инструменты разработки программ для отладки и разработки программного кода на языке программирования С получите навыки создания системных программ для операционной системы Linux, базовые знания архитектуры ЭВМ.

В курсе рассматриваются языковые виртуальные машины — один из ключевых подходов к организации сред исполнения современных языков программирования. Вы познакомитесь с устройством языковых виртуальных машин, используемыми в них технологиями и научитесь применять на практике.

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

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

Курс посвящен одному из самых эффективных в настоящее время методов статического анализа — символическому исполнению (symbolic execution). Вы освоите способы построения методов символического исполнения, изучите его особенности и ограничения. Также познакомитесь с гибридным методом анализа — конколик исполнением (concolic execution), который объединяет в себе достоинства статических и динамических подходов.

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

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

урс посвящен архитектуре современных компиляторов. Вы изучите функции фронтенда и бэкенда, освоите методы генерации кода для разных платформ, машинно-зависимую и машинно-независимую оптимизацию, получите представление о распараллеливающих компиляторах. На практике вы создадите собственный компилятор на основе инфраструктуры LLVM или для платформы JVM.

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

Дисциплина посвящена изучению вопросов построения параллельных приложений, у которых существует несколько параллельных потоков исполнения, которые могут быть не изолированы друг от друга. Вы изучите способы синхронизации и взаимодействия параллельных потоков исполнения, проанализируете влияние аппаратных средств, изучите платформо-зависимые способы организации параллельных программ, погрузитесь в вопросы, связанные с архитектурой высокопроизводительных ЭВМ и внутренним устройством современных операционных систем: POSIX-совместимых и Microsoft Windows.