Москвин Денис Николаевич
- Доцент:НИУ ВШЭ в Санкт-Петербурге / Санкт-Петербургская школа физико-математических и компьютерных наук / Департамент информатики
- Руководитель образовательной программы:Программирование и анализ данных
- Начал работать в НИУ ВШЭ в 2018 году.
- Научно-педагогический стаж: 29 лет.
Образование, учёные степени и учёные звания
- 2002Ученое звание: Доцент
- 1994Кандидат физико-математических наук: Санкт-Петербургский государственный университет
- 1991
Специалитет: Ленинградский государственный университет им. А. А. Жданова, специальность «Физика», квалификация «Физик»
Учебные курсы (2023/2024 уч. год)
- Алгоритмы и структуры данных (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Алгоритмы и структуры данных (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Программирование с зависимыми типами (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 4-й курс, 1, 2 модуль)Рус
- Семинар наставника (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
Типы в языках программирования (Аспирантура; направление "00.00.00. Аспирантура", направление "00.00.00. Аспирантура"; 2-й курс, 1 семестр)Рус
- Типы в языках программирования (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 3, 4 модуль)Рус
Типы в языках программирования (Аспирантура; направление "00.00.00. Аспирантура", направление "00.00.00. Аспирантура"; 1-й курс, 1 семестр)Рус
- Функциональное программирование (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Факультет информатики, математики и компьютерных наук (Нижний Новгород); 3-й курс, 1, 2 модуль)Рус
- Функциональное программирование (Маго-лего; 2 модуль)Рус
- Функциональное программирование (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 2 модуль)Рус
- Язык программирования C++ (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1, 2 модуль)Рус
- Язык программирования C++ (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Дискретная математика (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 1-4 модуль)Рус
- Метавычисления (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 4-й курс, 1, 2 модуль)Рус
- Программирование с зависимыми типами (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 4-й курс, 1, 2 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Факультет информатики, математики и компьютерных наук (Нижний Новгород); 3-й курс, 1, 2 модуль)Рус
Эффективные алгоритмы (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; направление "01.04.02. Прикладная математика и информатика", направление "01.04.02. Прикладная математика и информатика"; 1-й курс, 1, 2 модуль)Рус
- Язык программирования C++ (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
Учебные курсы (2021/2022 уч. год)
- Алгоритмы в биоинформатике (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 3, 4 модуль)Рус
- Анализ информационных систем (Аспирантура; 2-й курс, 1 семестр)Рус
- Дискретная математика (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1, 2, 4 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 1-4 модуль)Рус
- Дополнительные главы функционального программирования (Дисциплина общефакультетского пула; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2 модуль)Рус
- Методология и методы научных исследований в информатике (Аспирантура; 1-й курс, 1 семестр)Рус
- Парадигмы и языки программирования (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Теория игр и принятия решений (Аспирантура; 2-й курс, 1 семестр)Рус
- Типы в языках программирования (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 3, 4 модуль)Рус
- Формальные языки (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 1 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Язык программирования С++ (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Дискретная математика (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 2, 3 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1, 4 модуль)Рус
- Дополнительные главы функционального программирования (Дисциплина общефакультетского пула; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1, 2 модуль)Рус
- Методология и методы научных исследований в информатике (Аспирантура; 1-й курс, 1 семестр)Рус
- Научно-исследовательский семинар "Технологический семинар" (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Проектный семинар (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 4-й курс, 1-3 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 1, 2 модуль)Рус
Учебные курсы (2019/2020 уч. год)
- Программирование с зависимыми типами (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 4-й курс, 3 модуль)Рус
- Типы в языках программирования (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 3 модуль)Рус
Публикации3
- Статья Краско Е. С., Лабутин И. Н., 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
- Глава книги Омельченко А. В., Шпильман А. А., Москвин Д. Н., Храбров А. И. Особенности построения образовательных программ в области анализа данных в финансах // В кн.: Сборник научных трудов Санкт-Петербургской конференции исследователей в сфере экономики, бизнеса и общества: итоги 2019 года / Под общ. ред.: Е. М. Рогова, Ю. А. Тарасова, Е. А. Шакина. СПб. : Национальный исследовательский университет "Высшая школа экономики", 2019. С. 14-14.
- Статья Лабутин И. Н., Москвин Д. Н., Омельченко А. В., Храбров А. И., Краско Е. С. О некоторых перечислительных задачах лямбда-исчисления // Записки научных семинаров ПОМИ РАН. 2018. Т. 475. С. 99-121.
Опыт работы
Сентябрь 2018 — по настоящее время
НИУ ВШЭ - Санкт-Петербург
Доцент, академический руководитель магистерской программы «Программирование и анализ данных»
Сентябрь 2011 — Август 2018
Санкт-Петербургский Академический университет РАН
Доцент