Sergey Andreevich Slavnov
- Associate Professor:HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE) / School of Applied Mathematics
- Sergey Andreevich Slavnov has been at HSE University since 2011.
Education and Degrees
- 2005
Candidate of Sciences* (PhD)
Cornell University - 2005
Candidate of Sciences* (PhD) in Mathematical Logic, Algebra and Number Theory
Thesis Title: Semantic investigations of linear logic - 2005
Doctoral programme in Mathematics
Cornell University, mathematics - 2000
Degree
Lomonosov Moscow State University - 2000
Degree in Mathematics
Lomonosov Moscow State University, Mechanics and Mathematics
* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
Courses (2022/2023)
- Algebra and Geometry (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 1 year, 3, 4 module)Rus
- Algebra and Geometry (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 1 year, 1, 2 module)Rus
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 3, 4 module)Rus
- Discrete Mathematics (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 1, 2 module)Rus
- Methods of the Analysis and Optimization in Discrete Problems (Optional course (faculty); 3 module)Rus
- Past Courses
Courses (2021/2022)
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 3, 4 module)Rus
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 3 year, 1, 2 module)Rus
- Mathematical Logic (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 4 module)Rus
- Methods of the Analysis and Optimization in Discrete Problems (Optional course (faculty); HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 3 module)Rus
Courses (2020/2021)
- Discrete Mathematics (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 3 year, 1, 2 module)Rus
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 3, 4 module)Rus
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 3 year, 1, 2 module)Rus
- Mathematical Logic (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 4 module)Rus
- Methods of the Analysis and Optimization in Discrete Problems (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 3 year, 3 module)Rus
Courses (2019/2020)
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 3 year, 1, 2 module)Rus
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 3, 4 module)Rus
- Methods of the Analysis and Optimization in Discrete Problems (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 4 year, 2, 3 module)Rus
Courses (2018/2019)
- Discrete Mathematics (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 1, 2 module)Eng
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 3, 4 module)Rus
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 3 year, 1, 2 module)Rus
- Methods of the Analysis and Optimization in Discrete Problems (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 4 year, 2, 3 module)Rus
Courses (2017/2018)
- Discrete Mathematics (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 1, 2 module)Eng
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 3 year, 1, 2 module)Rus
- Discrete Mathematics (Specialist’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 3, 4 module)Rus
- Methods of the Analysis and Optimization in Discrete Problems (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 4 year, 2, 3 module)Rus
Publications4
- Article 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
- Article Sergey Slavnov. Cobordisms and Commutative Categorial Grammars // Journal of Cognitive Science. 2021. Vol. 22. No. 2. P. 68-91.
- Article 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
- Article Sergey Slavnov. On noncommutative extensions of linear logic // Logical Methods in Computer Science. 2019. Vol. 15. No. 3. P. 1-25. doi
Conferences
Conference talks:
Geometrical semantics for linear logic (multiplicative fragment)
, Federated logic confer-
ence — workshop on linear logic (FLoC’02-LL), Copenhagen, Denmark, 2002.
Is there any geometry in Geometry of Interaction?
, Category Theory Octoberfest’05,
University of Ottawa, Canada, 2005.
Geometry of Interaction and Hamiltonian dynamics
, Geometry of Computation 2006
(GeoCal’06), Marseille-Luminy, France, 2006.
"Physical" interpretations of Linear Logic: semiclassical vs. quantum
, ASL 2006 annual
meeting, Universite de Quebec a Montreal, Montreal, Canada, 2006.
"Modelling linear logic with implicit functions"
, L.O.G.I.C., workshop on linear logic,
ludics, implicit complexity, operator algebras, dedicated to J.-Y. Girard on his 60-th birthday,
Siena, Italy, 2007.