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

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

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

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

Курс посвящен практическим вопросам разработки современных информационных систем промышленного (enterprise) уровня. Вы рассмотрите современные архитектуры и программные технологии для разработки бэкэнда клиент-серверных систем и web-приложений. Изучите технологии JavaEE и Spring Framework, системы очередей сообщений (RabbitMQ, Apache Kafka и др.), микросервисную архитектуру, технологии развертывания серверных приложений. В практической части курса вы разработаете собственное приложение с использованием изученных технологий.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Свободный трек позволяет вам выбрать курс из пула курсов института прикладных компьютерных наук, тем самым более тонко настраивая свою образовательную траекторию, при необходимости выходя за рамки тематик своей образовательной программы.