- PVSM.RU - https://www.pvsm.ru -
Мы рады сообщить, что при лаборатории им. Чебышева [1] СПбГУ открывается магистратура по теоретической информатике [2], которая реализуется при тесном сотрудничестве с Computer Science клубом [3] и при поддержке компаний JetBrains [4] и Яндекс [5].
Программа обучения включает базовые и углублённые курсы по алгоритмам, сложности вычислений, криптографии, дискретной математике, математической логике, машинному обучению, формальным языкам и автоматам, вычислительной геометрии и многочисленным более специализированным предметам, отражающим современные направления в информатике. Под руководством специалистов по теоретической информатике студенты проводят научные исследования.
Учебный план дополняется курсами Computer Science клуба [3] и поездками на международные студенческие школы.
Основные преподаватели и возможные научные руководители:
И. А. Близнец [6] – алгоритмы для NP-трудных задач, параметризованные алгоритмы и сложность,
М.А. Всемирнов [7] – диофантовы уравнения и 10-я проблема Гильберта, перестановки, комбинаторные тождества, сферические коды, алгоритмы в теории чисел,
Э. А. Гирш [8] – сложность алгоритмов,
Д. М. Ицыксон [9] – сложность доказательств, сложность в среднем, SAT-алгоритмы,
А. С. Куликов [10] – алгоритмы для NP-трудных задач, схемная сложность,
С. И. Николенко [11] – машинное обучение, сетевые алгоритмы,
А. С. Охотин [12] – формальные грамматики, вопросы сложности в теории автоматов, алгоритмы синтаксического анализа,
Ф. В. Петров [13] – комбинаторика,
С. А. Пузынина [14] – комбинаторика слов, формальные языки, теория графов,
А. В. Смаль [15] – сложность доказательств, структурная сложность, алгоритмы, криптография,
С. О. Сперанский [16] – логика и теория вычислимости, основания и философия математики (в том числе статистики).
Занятия проводятся на Васильевском острове, в историческом центре Санкт-Петербурга.
Аналогичная магистерская программа 10 лет реализовывалась в Академическом университете, её выпускники учились и вели исследования в ведущих российских и мировых исследовательских центрах: Stanford University, UCSD, KTH, New York University, Universita degli studi di Milano, University of London, Penn State University, Indiana University, Columbia University, Yahoo Research, ПОМИ РАН и пр. С нового учебного года Computer Science клуб [3] и JetBrains [4] прекращают сотрудничество с Академическим университетом.
Желающим поступить необходимо заполнить форму [17] из официального объявления [2] на сайте университета. Вопросы можно задавать через форму обратной связи [18].
Автор: kate_artamonova
Источник [19]
Сайт-источник PVSM.RU: https://www.pvsm.ru
Путь до страницы источника: https://www.pvsm.ru/programmirovanie/282983
Ссылки в тексте:
[1] лаборатории им. Чебышева: http://chebyshev.spbu.ru/,
[2] магистратура по теоретической информатике: http://math-cs.spbu.ru/news/magistratura-po-teoreticheskoj-informatike-v-spbgu/
[3] Computer Science клубом: https://compsciclub.ru/
[4] JetBrains: https://jetbrains.ru/
[5] Яндекс: https://yandex.ru/company/
[6] И. А. Близнец: http://dblp.uni-trier.de/pers/hd/b/Bliznets:Ivan
[7] М.А. Всемирнов: https://logic.pdmi.ras.ru/~vsemir/
[8] Э. А. Гирш: https://logic.pdmi.ras.ru/~hirsch/
[9] Д. М. Ицыксон: https://logic.pdmi.ras.ru/~dmitrits/
[10] А. С. Куликов: https://logic.pdmi.ras.ru/~kulikov/en/home
[11] С. И. Николенко: https://logic.pdmi.ras.ru/~sergey/
[12] А. С. Охотин: http://math-cs.spbu.ru/people/aleksandr-sergeevich-ohotin/
[13] Ф. В. Петров: http://math-cs.spbu.ru/people/petrov-fedor-vladimirovich/
[14] С. А. Пузынина: http://math-cs.spbu.ru/people/puzynina-svetlana-aleksandrovna/
[15] А. В. Смаль: https://logic.pdmi.ras.ru/~smal/
[16] С. О. Сперанский: http://math-cs.spbu.ru/people/stanislav-olegovich-speranskij/
[17] форму: https://docs.google.com/forms/d/e/1FAIpQLSfz8bG7jM1HsvCpS31Dcs6jFSEDpW5u5X2a5Ekvz6F6tE1dWQ/viewform
[18] форму обратной связи: https://docs.google.com/forms/d/e/1FAIpQLSf-5yb0RYPCdYH1tBmsRQXcweeRsKMT0-hnvU2Vg5d0yjm-BQ/viewform
[19] Источник: https://habr.com/post/414129/?utm_campaign=414129
Нажмите здесь для печати.