Научно-исследовательская работа

О НИР

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

Научный руководитель

Научным руководителем может быть любой активный учёный со степенью. В выборе поможет куратор и научные руководители направления Computer Science. Руководитель внимательно наблюдает за процессом и направляет усилия студента в верное русло. Студенты встречаются с ним не реже раза в неделю.

Темы исследований и руководители

• Комбинаторные задачи биоинформатики
  М. Алексеев (Университет Джорджа Вашингтона)
• Cистемы типов
  А. А. Бреслав (JetBrains)
• Квантовые алгоритмы
  М. Н. Вялый (Вычислительный центр имени А. А. Дородницына РАН)
• Вычислительная геометрия
  К. В. Вяткина (СПбАУ РАН)
• Верификация
  С. Э. Вельдер (НИУ ИТМО)
• Теория сложности вычислений и доказательств
  Э. А. Гирш (ПОМИ РАН, СПбАУ РАН)
• Теория сложности
  Д. М. Ицыксон (ПОМИ РАН, СПбАУ РАН)
• Раскраски графов
  Д. В. Карпов (ПОМИ РАН)
• Кооперативная теория игр, искусственный интеллект в тестировании
  И. В. Кацев (Яндекс, СПбЭМИ РАН)
• Алгоритмы для NP-трудных задач, сложность булевых функций
  А. С. Куликов (ПОМИ РАН, СПбАУ РАН)
• Криптография
  И. Миронов (Google)
• Функциональные языки программирования и их системы типов
  Д. Н. Москвин (СПбАУ РАН)
• Машинное обучение
  С. И. Николенко (ПОМИ РАН, СПбАУ РАН)
• Оптимизация и обработка запросов
  Б. А. Новиков (СПбГУ)
• Формальные языки и грамматики
  А. С. Охотин (СПбГУ)
• Раскраски графов
  А. В. Пастор (ПОМИ РАН)
• Надёжные модели вычислений, теория кодирования
  А. Е. Ромащенко (ИППИ РАН)
• Параллельные алгоритмы, алгоритмы на строках
  А. В. Тискин (University of Warwick)
• Колмогоровская сложность, теория информации
  А. Х. Шень (ИППИ РАН)