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
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.