Сразу трое студентов мехмата, Владислав Кравец (ПМИ), Антон Замай (ФИИТ) и Михаил Бочкарёв (ФИИТ), в результате жёсткого конкурсного отбора стали участниками проходившей с 19 по 30 июля 2017 года XVII летней школы «Современная математика». Среди преподавательского состава школы также был представитель мехмата — В. Н. Брагилевский (кафедра информатики и вычислительного эксперимента) прочитал для участников школы мини-курс лекций «Соответствие Карри—Ховарда: от математической логики к программированию и обратно».
Карякин Михаил Игоревич
