# 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 since 2011.

### Education and Degrees

- 2009PhD
- 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

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 (2019/2020)

- Discrete Mathematics (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 1, 2 module)Rus
- Discrete Mathematics (Undergraduate’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 3 year, 1, 2 module)Rus
- Discrete Mathematics (Undergraduate’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
- Past Courses

### 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 (Undergraduate’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 3, 4 module)Rus
- Discrete Mathematics (Undergraduate’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 (Undergraduate’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 3 year, 1, 2 module)Rus
- Discrete Mathematics (Undergraduate’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 (2016/2017)

- Discrete Mathematics (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 1, 2 module)Rus
- Discrete Mathematics (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 1 module)Rus

### Courses (2015/2016)

- Discrete Mathematics (Undergraduate’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); spec. "Mathematical Methods of Information Security"; 3 year, 1, 2 module)Rus
- Discrete Mathematics (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 1 year, 1-4 module)Rus
- Discrete Mathematics (Undergraduate’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); spec. "Mathematical Methods of Information Security"; 2 year, 3, 4 module)Rus
- Linear Algebra and Analytical Geometry (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 1 year, 1-4 module)Rus

### Courses (2014/2015)

- Discrete Mathematics (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 1-4 module)Rus
Discrete Mathematics (Bachelor’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); 2 year, 4 module)Rus

- Discrete Mathematics (Undergraduate’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); spec. "Mathematical Methods of Information Security"; 2 year, 3, 4 module)Rus
- Optimization in Discrete Systems (Undergraduate’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); spec. "Mathematical Methods of Information Security"; 5 year, 1 semester)Rus
- Optimization Methods (Undergraduate’s programme; HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); spec. "Mathematical Methods of Information Security"; 5 year, 1 semester)Rus

### Courses (2013/2014)

- Discrete Mathematics (Undergraduate’s programme; Faculty of Applied Mathematics and Cybernetics; spec. "Mathematical Methods of Information Protection"; 3 year, 1 semester)Rus
- Discrete Mathematics (Undergraduate’s programme; Faculty of Applied Mathematics and Cybernetics; spec. "Mathematical Methods of Information Protection"; 2 year, 3, 4 module)Rus
- Optimization in Discrete Systems (Undergraduate’s programme; Faculty of Applied Mathematics and Cybernetics; spec. "Mathematical Methods of Information Protection"; 5 year, 1 semester)Rus
Optimization Methods (Bachelor’s programme; Faculty of Applied Mathematics and Cybernetics; "Application of Mathematical Methods for Solving Engineering and Economic Problems", "Control System Software"; 3 year, 1 semester)Rus

- Optimization Methods (Undergraduate’s programme; Faculty of Applied Mathematics and Cybernetics; spec. "Mathematical Methods of Information Protection"; 5 year, 1 semester)Rus

### Courses (2012/2013)

- Discrete Mathematics (Undergraduate’s programme; Faculty of Applied Mathematics and Cybernetics; spec. "Mathematical Methods of Information Security"; 3 year, 1 semester)Rus
- Discrete Mathematics (Undergraduate’s programme; Faculty of Applied Mathematics and Cybernetics; spec. "Mathematical Methods of Information Security"; 2 year, 2 semester)Rus
- Optimization in Discrete Systems (Undergraduate’s programme; Faculty of Applied Mathematics and Cybernetics; spec. "Mathematical Methods of Information Security"; 5 year, 1 semester)Rus
- Optimization Methods (Bachelor’s programme; Faculty of Applied Mathematics and Cybernetics; 3 year, 2 semester)Rus
Optimization Methods (Undergraduate’s programme; Faculty of Applied Mathematics and Cybernetics; "Application of Mathematical Methods for Solving Engineering and Economic Problems", "Comprehensive Statistical Data Analysis", "Processing Information and Control Systems Software", "IT Systems Software and Administration", "Control System Software", "Mathematical Simulation of Physico-mechanical Systems and Processes"; 4 year, 2 semester)Rus

- Optimization Methods (Undergraduate’s programme; Faculty of Applied Mathematics and Cybernetics; spec. "Mathematical Methods of Information Security"; 5 year, 1 semester)Rus

### Publications^{2}

- Preprint Sergey Slavnov.
*Noncommutative coherence spaces for full linear logic*/ Cornell University. Series math "arxiv.org". 2018. - Preprint Sergey Slavnov.
*On Banach spaces of sequences and free linear logic exponential modality*/ Cornell University. Series math "arxiv.org". 2015.

### Conferences