Магистратура по теоретической информатике

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

Чему мы учим?

Программа обучения включает базовые и углубленные курсы по алгоритмам, сложности вычислений, криптографии, дискретной математике, математической логике, машинному обучению, и многочисленным более специализированным предметам, отражающим современные направления в информатике. Большинство читаемых курсов дополняется практическими занятиями, на которых студенты решают интересные и нетривиальные задачи, помогающие ориентироваться в материале на уровне, достаточном для проведения самостоятельных исследований. Учебный план дополняется курсами Computer Science клуба при ПОМИ и поездками на международные студенческие школы. Обучение ведется при непосредственном участии сотрудников лабораторий математической логики и алгоритимических методов ПОМИ РАН.

Кого мы готовим?

Важной составляющей частью магистратуры являются научные исследования, которые студенты проводят под руководством специалистов по теоретической информатике. Программа рассчитана на выпуск будущих аспирантов российских и зарубежных аспирантур. Наши выпускники остаются в аспирантуре Академического университета, поступают в аспирантуру ПОМИ РАН, уезжают в аспирантуру за границу (Penn State University, Stanford University, New York University, Universita degli studi di Milano, University of London и пр.), иногда работают в индустрии (в компаниях JetBrains, Facebook и др.).

Кафедра также ведет прием и по другим магистерским программам:

Как поступить?

Для участия во вступительных испытаниях и для получения информации о них необходимо заполнить форму на сайте кафедры. Первые собеседования состоятся уже в апреле 2017 года. Рекомендуем ознакомиться с подробной информацией о вступительных испытаниях и прочитать ответы на часто задаваемые вопросы.

Что еще полезно о нас знать?

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

Список обязательных курсов:

Список факультативов, спецсеминаров и спецкурсов, которые студенты направления включали в учебный план за последние 5 лет:

Направления исследований:

Основные преподаватели:

  • д.ф.-м.н. Гирш Эдуард Алексеевич, один из основателей серии международных конференций Computer Science in Russia, лауреат премии Династия, почетный профессор РАН, научный руководитель направления "теоретическая информатика".
    • сложность вычислений, сложность доказательств, схемная сложность
  • к.ф.-м.н. Куликов Александр Сергеевич, куратор Computer Science клуба при ПОМИ, директор Computer Science центра
    • алгоритмы для NP-трудных задач, схемная сложность булевых функций, биоинформатика
  • к.ф.-м.н. Николенко Сергей Игоревич
    • машинное обучение, криптография, сетевые алгоритмы, биоинформатика
  • к.ф.-м.н. Ицыксон Дмитрий Михайлович, куратор направления "теоретическая информатика".
    • сложность доказательств, сложность в среднем, DPLL алгоритмы
  • к.ф.-м.н. Соколов Дмитрий Олегович,
    • сложность доказательств, структурная сложность, DPLL алгоритмы
  • к.ф.-м.н. Петров Федор Владимирович
    • перечислительная, асимптотическая и непрерывная комбинаторика
  • д.ф.-м.н.  Всемирнов Максим Александрович, зам. директора ПОМИ РАН, член.-корр. РАН
    • теория чисел: диафантовы уравнения, 10 проблема Гильберта
    • алгебра: группы, перестановки
    • комбинаторика: перестановки, комбинаторные тождества, сферические коды
  • Кноп Александр Анатольевич,
    • диофантовая сложность, эвристические вычисления
  • к.ф.-м.н. Близнец Иван Анатольевич,
    • точные алгоритмы, приближенные алгоритмы, параметрические алгоритмы
  • Опарин Всеволод Владиславович,
    • сложность доказательств, потоковые алгоритмы, поиск похожих объектов