Славнов Сергей Андреевич
- Доцент:Московский институт электроники и математики им. А.Н. Тихонова / Департамент прикладной математики
- Начал работать в НИУ ВШЭ в 2011 году.
- Научно-педагогический стаж: 17 лет.
Образование, учёные степени
- 2005Кандидат физико-математических наук: Университет Корнелл
- 2005Кандидат наук: специальность 01.01.06 «Математическая логика, алгебра и теория чисел», тема диссертации: Семантические исследования линейной логики
- 2005
Аспирантура: Cornell University, факультет: математики, специальность «математика»
- 2000
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика. Прикладная математика», квалификация «Математик»
- 2000
Специалитет: Московский государственный университет им. М.В. Ломоносова, факультет: мех-мат, специальность «математика»
Достижения и поощрения
- Лучший преподаватель – 2015
Надбавка за публикацию в журнале из Списка А (и приравненном к нему научном издании) (2024-2025, 2023-2024)
Надбавка за статью в зарубежном рецензируемом журнале (2015-2017, 2013-2015)
Учебные курсы (2024/2025 уч. год)
- Алгебра (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 1-й курс, 1-3 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 2-й курс, 1, 2 модуль)Рус
- Математический анализ (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 2-й курс, 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Алгебра и геометрия (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 1-й курс, 1, 2 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 2-й курс, 1, 2 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 1-й курс, 3, 4 модуль)Рус
- Математический анализ (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 1-й курс, 1-4 модуль)Рус
- Методы анализа и оптимизации в дискретных задачах (Дисциплина общефакультетского пула; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 3 модуль)Рус
Учебные курсы (2022/2023 уч. год)
- Алгебра и геометрия (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 1-й курс, 3, 4 модуль)Рус
- Алгебра и геометрия (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 1-й курс, 1, 2 модуль)Рус
- Дискретная математика (Специалитет; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 2-й курс, 3, 4 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 2-й курс, 1, 2 модуль)Рус
- Методы анализа и оптимизации в дискретных задачах (Дисциплина общефакультетского пула; 3 модуль)Рус
Учебные курсы (2021/2022 уч. год)
- Дискретная математика (Специалитет; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 2-й курс, 3, 4 модуль)Рус
- Дискретная математика (Специалитет; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 3-й курс, 1, 2 модуль)Рус
- Математическая логика (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 2-й курс, 4 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Дискретная математика (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 3-й курс, 1, 2 модуль)Рус
- Дискретная математика (Специалитет; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 2-й курс, 3, 4 модуль)Рус
- Дискретная математика (Специалитет; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 3-й курс, 1, 2 модуль)Рус
- Математическая логика (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 2-й курс, 4 модуль)Рус
- Методы анализа и оптимизации в дискретных задачах (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 3-й курс, 3 модуль)Рус
Публикации14
- Статья Sergey Slavnov. Making first order linear logic a generating grammar // Logical Methods in Computer Science. 2023. Vol. 19. No. 4 doi
- Статья Slavnov S. A. On embedding Lambek calculus into commutative categorial grammars // Journal of Logic and Computation. 2022. Vol. 32. No. 3. P. 479-517. doi
- Статья Sergey Slavnov. Cobordisms and Commutative Categorial Grammars // Journal of Cognitive Science. 2021. Vol. 22. No. 2. P. 68-91.
- Статья Sergey Slavnov. Linear logic in normed cones: probabilistic coherence spaces and beyond // Mathematical Structures in Computer Science. 2021. Vol. 31. No. 5. P. 495-534. doi
- Статья Sergey Slavnov. On Banach spaces of sequences and free linear logic exponential modality // Mathematical Structures in Computer Science. 2019. Vol. 29. No. 2. P. 215-242. doi
- Статья Sergey Slavnov. On noncommutative extensions of linear logic // Logical Methods in Computer Science. 2019. Vol. 15. No. 3. P. 1-25. doi
- Препринт Sergey Slavnov. On partial traces and compactification of *-autonomous Mix-categories / Cornell University. Series arXiv "math". 2016.
- Препринт Sergey Slavnov. Linear logic with idempotent exponential modalities: a note / Cornell University. Series math "arxiv.org". 2014.
- Статья Sergey Slavnov. Modeling linear logic with implicit functions // Annals of Pure and Applied Logic. 2014. Vol. 165. No. 1. P. 357-370. doi
- Статья Blute R., Panangaden P., Slavnov Sergey. Deep inference and probabilistic coherence spaces // Applied Categorical Structures. 2012. Vol. 20. No. 3. P. 209-228. doi
- Статья Slavnov S. A. Geometrical semantics for linear logic (multiplicative fragment) // Theoretical Computer Science. 2006. Vol. 357. No. 1-3. P. 215-229.
- Статья Slavnov S. A. Coherent phase spaces. Semiclassical semantics // Annals of Pure and Applied Logic. 2005. Vol. 131. No. 1-3. P. 177-225.
- Статья Slavnov S. A. From proof-nets to bordisms: the geometric meaning of multiplicative connectives // Mathematical Structures in Computer Science. 2005. Vol. 15. No. 6. P. 1151-1178.
- Статья Slavnov S. A. On completeness of dynamic topological logic // Moscow Mathematical Journal. 2005. Vol. 5. No. 2. P. 477-492.
Опыт работы
Корнельский университет, ассистент преподавателя, 2000-2005,
Университет Оттавы, постдок, 2005-2006,
Университет Дени Дидро Париж 7, постдок, 2006-2007,
Московский государственный университет путей сообщения (МИИТ), старший преподаватель, 2007-2010,
ООО "Техкомпания Хуавей", инженер-исследователь, 2010-2012,
Информация*
- Общий стаж: 17 лет
- Научно-педагогический стаж: 17 лет
- Преподавательский стаж: 14 лет
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки
Вопросы по дискретной математике БИВ, зима 2018. Discrete math questions 2018, winter
Файл