Denis Moskvin
- Associate Professor:HSE Campus in St. Petersburg / St. Petersburg School of Physics, Mathematics, and Computer Science / Department of Informatics
- Programme Head:Software Development and Data Analysis
- Denis Moskvin has been at HSE University since 2018.
Education, Degrees and Academic Titles
- 2002Associate Professor
- 1994
Candidate of Sciences* (PhD)
Saint Petersburg State University - 1991
Degree
Leningrad State University
* 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 (2023/2024)
- Algorithms and Data Structures (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1-4 module)Rus
- C++ Programming Language (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1, 2 module)Rus
- C++ Programming Language (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1-4 module)Rus
- Functional Programming (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 2 year, 1, 2 module)Rus
- Functional Programming (Bachelor’s programme; Faculty of Informatics, Mathematics, and Computer Science (HSE Nizhny Novgorod); 3 year, 1, 2 module)Rus
- Mentor's Seminar (Master’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1-4 module)Rus
- Programming with Dependent Types (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 4 year, 1, 2 module)Rus
Types and Programming Languages (Postgraduate course’s programme; field of study "00.00.00. Аспирантура", field of study "00.00.00. Аспирантура"; 2 year, 1 semester)Rus
Types and Programming Languages (Postgraduate course’s programme; field of study "00.00.00. Аспирантура", field of study "00.00.00. Аспирантура"; 1 year, 1 semester)Rus
- Past Courses
Courses (2022/2023)
- C++ Programming Language (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1-4 module)Rus
- Discrete Mathematics (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1-4 module)Rus
- Discrete Mathematics (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 2 year, 1-4 module)Rus
Efficient Algorithms (Master’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; field of study "01.04.02. Прикладная математика и информатика", field of study "01.04.02. Прикладная математика и информатика"; 1 year, 1, 2 module)Rus
- Functional Programming (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 2 year, 1, 2 module)Rus
- Functional Programming (Bachelor’s programme; Faculty of Informatics, Mathematics, and Computer Science (HSE Nizhny Novgorod); 3 year, 1, 2 module)Rus
- Meta Computing (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 4 year, 1, 2 module)Rus
- Programming with Dependent Types (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 4 year, 1, 2 module)Rus
Courses (2021/2022)
- Additional chapters of functional programming (Optional course (faculty); St. Petersburg School of Physics, Mathematics, and Computer Science ; 2 module)Rus
- Algorithms in Bioinformatics (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 3 year, 3, 4 module)Rus
- Discrete Mathematics (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1, 2, 4 module)Rus
- Discrete Mathematics (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 2 year, 1-4 module)Rus
- Formal Languages (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 2 year, 1 module)Rus
- Functional Programming (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 2 year, 1, 2 module)Rus
- Game Theory and Decision Making (Postgraduate course’s programme; 2 year, 1 semester)Rus
- Information Systems Analysis (Postgraduate course’s programme; 2 year, 1 semester)Rus
- Methodology and Methods of Research in Informatics (Postgraduate course’s programme; 1 year, 1 semester)Rus
- Paradigms and Programming Languages (Master’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1-4 module)Rus
- Types and Programming Languages (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 3 year, 3, 4 module)Rus
- С++ programming language (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1-4 module)Rus
Courses (2020/2021)
- Additional chapters of functional programming (Optional course (faculty); St. Petersburg School of Physics, Mathematics, and Computer Science ; 1, 2 module)Rus
- Discrete Mathematics (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 2 year, 2, 3 module)Rus
- Discrete Mathematics (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1, 4 module)Rus
- Functional Programming (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 2 year, 1, 2 module)Rus
- Methodology and Methods of Research in Informatics (Postgraduate course’s programme; 1 year, 1 semester)Rus
- Project Seminar (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 4 year, 1-3 module)Rus
- Technological Workshop (Master’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 1 year, 1-4 module)Rus
Courses (2019/2020)
- Programming with Dependent Types (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 4 year, 3 module)Rus
- Types and Programming Languages (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 3 year, 3 module)Rus
Courses (2018/2019)
- Functional Programming (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 2 year, 2 module)Rus
- Types and Programming Languages (Bachelor’s programme; St. Petersburg School of Physics, Mathematics, and Computer Science ; 3 year, 3 module)Rus
Publications3
- Article Краско Е. С., Лабутин И. Н., Moskvin D., Omelchenko A., Khrabrov A. I. On Some Enumerative Problems in Lambda Calculus // Journal of Mathematical Sciences. 2020. Vol. 247. P. 442-456. doi
- Chapter Омельченко А. В., Шпильман А. А., Москвин Д. Н., Храбров А. И. Особенности построения образовательных программ в области анализа данных в финансах // В кн.: Сборник научных трудов Санкт-Петербургской конференции исследователей в сфере экономики, бизнеса и общества: итоги 2019 года / Под общ. ред.: Е. М. Рогова, Ю. А. Тарасова, Е. А. Шакина. СПб. : Национальный исследовательский университет "Высшая школа экономики", 2019. С. 14-14.
- Article Лабутин И. Н., Москвин Д. Н., Омельченко А. В., Храбров А. И., Краско Е. С. О некоторых перечислительных задачах лямбда-исчисления // Записки научных семинаров ПОМИ РАН. 2018. Т. 475. С. 99-121.