Славнов Сергей Андреевич

Доцент департамента прикладной математики Московского института электроники и математики им. А. Н. Тихонова НИУ ВШЭ, кандидат физико-математических наук. Работает в университете с 2011 года, научно-педагогический стаж по данным университета — 19 лет. В 2000 году окончил механико-математический факультет МГУ им. М. В. Ломоносова по специальности «Математика, прикладная математика». Аспирантуру прошёл на факультете математики Корнеллского университета, где в 2005 году получил степень PhD. В том же году защитил кандидатскую диссертацию по специальности 01.01.06 «Математическая логика, алгебра и теория чисел»; тема работы — «Семантические исследования линейной логики».

Карьеру начинал за рубежом. В 2000–2005 годах был ассистентом преподавателя в Корнеллском университете, затем прошёл две постдокторские стажировки: в Университете Оттавы (2005–2006) и в Университете Дени Дидро Париж 7 (2006–2007). В 2007–2010 годах преподавал как старший преподаватель в Московском государственном университете путей сообщения (МИИТ), а в 2010–2012 годах работал инженером-исследователем в «Техкомпании Хуавей» — то есть пришёл в преподавание с опытом прикладных исследований в индустрии. Владеет английским и французским языками.

В МИЭМ ведёт базовые математические дисциплины инженерных направлений: математический анализ, дискретную математику, алгебру, алгебру и геометрию, математическую логику. Курс математического анализа для направления «Информатика и вычислительная техника» рассчитан на 4 кредита и 56 контактных часов и охватывает анализ функций одной и многих переменных, классическое дифференциальное и интегральное исчисление. Тот же курс читается на специалитете «Компьютерная безопасность» в объёме четырёх модулей. Отдельно ведёт дисциплину общефакультетского пула «Методы анализа и оптимизации в дискретных задачах», а в разные годы вёл алгебру для направления «Прикладная математика» и алгебру с геометрией для инфокоммуникационных технологий и информационной безопасности. На странице преподавателя выложены открытые перечни экзаменационных вопросов по дискретной математике и дискретной оптимизации за несколько учебных лет.

Область исследований — линейная логика, денотационная семантика, моноидальные категории и категорная логика. В базе публикаций НИУ ВШЭ к профилю привязано 14 работ, в основном статьи в международных журналах по теоретической информатике и математической логике. Среди них «Making first order linear logic a generating grammar» (Logical Methods in Computer Science, 2023), «On embedding Lambek calculus into commutative categorial grammars» (Journal of Logic and Computation, 2022), «Linear logic in normed cones: probabilistic coherence spaces and beyond» (Mathematical Structures in Computer Science, 2021), «On noncommutative extensions of linear logic» (Logical Methods in Computer Science, 2019) и «Modeling linear logic with implicit functions» (Annals of Pure and Applied Logic, 2014). В соавторстве с Р. Блютом и П. Панангаденом опубликована работа «Deep inference and probabilistic coherence spaces» (Applied Categorical Structures, 2012). К ранним результатам относятся статьи «Coherent phase spaces. Semiclassical semantics» (Annals of Pure and Applied Logic, 2005) и «On completeness of dynamic topological logic» (Moscow Mathematical Journal, 2005).

По итогам студенческого голосования получил звание «Лучший преподаватель» в 2015 году. Университет назначал ему надбавки за публикации в журналах из Списка А в 2023–2024 и 2024–2025 годах, а также надбавки за статьи в зарубежных рецензируемых журналах в 2013–2015 и 2015–2017 годах. Профиль ORCID подтверждён: запись зарегистрирована на его имя, и указанная там работа по линейной логике совпадает с записью в базе публикаций университета.