Поступление 2018 личный кабинет

Технологии разработки программного обеспечения

01.04.02 Прикладная математика и информатика
форма
обучения:
Очная 2 года
количество мест: 42
  • 42 бюджетных места
вступительные
испытания:
ВЭ
  • Вступительный экзамен
стоимость обучения
в 2017 году:
183.5 тыс. руб.
в год
  • 183.5 тыс. руб в год для граждан Российской федерации
  • 203.5 тыс. руб в год для иностранных граждан

ПАСПОРТ ПРОГРАММЫ

Руководитель программы
Учебный план
Языки обучения
RUS
Русский
Учебные корпуса
Кронверкский пр., д. 49
Выпускающая кафедра

ОПИСАНИЕ ПРОГРАММЫ

На кафедре компьютерных технологий учебный процесс ведется по углубленной программе. Большинство практических дисциплин преподают ведущие специалисты компаний-разработчиков программного обеспечения (Яндекс, Одноклассники, Mail.ru Group, JetBrains, DevExperts и др.). К чтению курсов привлекаются лучшие преподаватели вузов Санкт-Петербурга.

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

 

АКТУАЛЬНОСТЬ И ЗНАЧИМОСТЬ ПРОГРАММЫ

Программа ориентирована на наиболее способных студентов, что позволяет вести обучение на глубоком теоретическом и практическом уровне. Фундаментальные знания в области теоретической информатики (computer science), непрерывной и дискретной математики преподаются известными специалистами в соответствующих дисциплинах. В практической части уделяется внимание разработке программного обеспечения и современным информационным технологиям. Занятия этой части проводятся представителями индустрии.

ЦЕЛЬ ПРОГРАММЫ

Цель образовательной программы «Технологии проектирования и разработки программного обеспечения» — подготовка высококвалифицированных исследователей и разработчиков в области информационных технологий.

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

ДИСЦИПЛИНЫ

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

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

Математические модели комплексов программ

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

Технологии и инструменты построения языковых процессоров

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

Современные проблемы прикладной математики и информатики

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

Управление проектами

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

Генетические и эволюционные вычисления

Содержание дисциплины охватывает круг вопросов, связанных с генетическими и эволюционными вычислениями– методами автоматизированного построения программ, который основан на механизмах эволюции

Современная теория информации

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

Структуры данных (углубленный курс)

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

Методы математической статистики в научных и инженерных исследованиях

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

Управление качеством разработки программного обеспечения

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

Машинное обучение

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

ПРЕПОДАВАТЕЛИ

Максим Викторович Буздалов кандидат технических наук
Роман Анатольевич Елизаров
Георгий Александрович Корнеев кандидат технических наук
Павел Юрьевич Маврин
Нияз Габдуллазянович Нигматуллин
Андрей Сергеевич Станкевич кандидат технических наук
Анатолий Абрамович Шалыто профессор, доктор технических наук

ТЕМЫ ВЫПУСКНЫХ РАБОТ

  • Метод эквивалентных источников для решения некоторых классов задач теории распространения волн
  • Разработка эффективного алгоритма недоминирующей сортировки
  • Определение демографических характеристик пользователей социальных сетей на основе анализа их музыкальных интересов
  • Автоматическое модульное тестирование утечек памяти в Java
  • Использование GPU для поиска безарбитражной кривой цен опционов
  • Разработка предикатов нарушения симметрии для построения детерминированных конечных автоматов при помощи сведения к задаче о выполнимости
  • Разработка алгоритма совместной работы активной и пассивной систем технического зрения
  • Обучение глобальной структуры байесовских сетей на основе биологических роевых метаэвристик
  • Параллельные алгоритмы поиска кратчайших путей на графах
  • Разработка и реализация алгоритма оценки качества нечеткого поиска дубликатов видеофайлов
  • Автоматическое тестирование линеаризуемости реализаций многопоточных структур данных
  • Оптимизация параметров стратегий поиска объектов на море
  • Применение методов решения задачи о выполнимости булевой формулы для построения минимальной филогенетической сети
  • Проектирование и реализация расщепления программ на функциональных вероятностных языках программирования
  • Автоматический выбор алгоритмов для агрегирующего ранжирования признаков геномной последовательности по степени значимости

НАБОР КОМПЕТЕНЦИЙ

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

Выпускники кафедры «Компьютерные технологии» являются востребованными специалистами не только в Санкт-Петербурге и России, но и за рубежом. Студенты приобретают компетенции в области информационных технологий путем участия в исследованиях, проводимых в рамках международной научной лаборатории «Компьютерные технологии». Знания и опыт, полученные в результате обучения, позволяют выпускникам становиться ведущими исследователями в таких областях, как программная инженерия, машинное обучение и бионформатика. Многие выпускники через несколько лет становятся ведущими специалистами и руководителями в области разработки программного обеспечения, в том числе, открывают собственные стартапы, фирмы и предприятия.

ТРУДОУСТРОЙСТВО И ВОСТРЕБОВАННОСТЬ ПРОФЕССИИ

В последнее время с учетом роста зарплат, в области решения «простых» задач в области информационных технологий Россия стала неконкурентоспособной по сравнению с Индией и Китаем. Поэтому российская «ставка» на мировом рынке производства ПО — это выполнение сложных проектов с использованием высококвалифицированных специалистов, развитие и доведение инновационных идей до коммерческого использования, а также проведение научно-исследовательских работ. Таким образом, для нашей страны особую ценность представляют наиболее талантливые специалисты, способные стать лидерами проектов и исследований в качестве руководителей. При этом, если подготовка сотрудников низового звена производится во многих вузах, то реальная подготовка специалистов и руководителей среднего звена ведется в считанных местах, одним из которых является кафедра Компьютерных технологий. Выпускники кафедры широко востребованы в ведущих компаниях-производителях программного обеспечения, таких как Яндекс, JetBrains, Mail.ru Group.

ПРАКТИКА И СТАЖИРОВКИ ДЛЯ СТУДЕНТОВ

В рамках обучения студенты проходят практику в качестве исследователей в международной научной лаборатории «Компьютерные технологии» и в качестве программистов в ведущих компаниях-разработчиках программного обеспечения, таких как Яндекс, JetBrains, Mail.ru Group, Одноклассники, Транзас.

Обратная связь

* Имя
* E-mail
Ваше сообщение