Дашков Евгений Владимирович

Доцент департамента больших данных и информационного поиска факультета компьютерных наук НИУ ВШЭ. Кандидат физико-математических наук (2012); по данным Math-Net.Ru степень получена по специальности ВАК 01.01.06 «Математическая логика, алгебра и теория чисел». Окончил Московский государственный университет имени М. В. Ломоносова по специальности «Математика» с квалификацией «Математик» (2008). В Высшей школе экономики работает с 2013 года.

Читает базовые математические и программистские дисциплины первых курсов. В 2025/2026 учебном году вёл «Дискретную математику» для программной инженерии, англоязычный курс Discrete Mathematics и «Дискретную математику 2» для прикладной математики и информатики, а также «Функциональное программирование» на втором и третьем курсах. В расписании 2026/2027 учебного года за ним закреплены «Дискретная математика» (8 кредитов, 136 контактных часов, единственный преподаватель курса) и «Функциональное программирование» (5 кредитов, 56 часов). Курс дискретной математики охватывает арифметику остатков, формализм множеств и отношений, частичные порядки, графы, булевы функции и схемы, элементы комбинаторики, формальной логики и теории алгоритмов; отдельное внимание в нём уделяется строгости рассуждений, приёмам доказательств, индукции и рекурсии. Курс функционального программирования построен вокруг языка Haskell и вводит слушателей в лямбда-исчисление, теорию типов и теорию категорий. Ранее вёл «Математическую логику» и «Дискретную математику» для нижегородского и пермского кампусов.

Научные интересы — математическая логика, алгебра и теория чисел. Основной результат относится к логикам доказуемости: статья «О позитивном фрагменте полимодальной логики доказуемости GLP» опубликована в «Математических заметках» (2012, т. 91, вып. 3) и в английской версии журнала Mathematical Notes; по данным Math-Net.Ru работа собрала около двадцати цитирований. Вторая известная публикация — «Arithmetical completeness of the intuitionistic logic of proofs» в Journal of Logic and Computation (2011). Результаты по позитивным фрагментам полимодальной логики доказуемости он представлял на восьмой международной конференции серии Advances in Modal Logic (AiML 2010) и на семинаре «Алгоритмические вопросы алгебры и логики» под руководством С. И. Адяна в марте 2012 года.

Помимо Вышки связан с двумя другими научными площадками: с 2009 года участвует в исследовательских проектах Математического института имени В. А. Стеклова РАН, а с 2012 года работает ассистентом кафедры дискретной математики факультета инноваций и высоких технологий Московского физико-технического института, где ведёт семинары и специальные курсы по математической логике. Осенью 2022 года прочитал в МФТИ курс из пятнадцати лекций «Введение в теорию сложности», записи которого выложены в базе Math-Net.Ru. В 2014–2015 годах вёл семинары по математической логике на факультете математики ВШЭ, а в 2014 году — семинары по дискретной математике на факультете бизнес-информатики и факультете мировой экономики и мировой политики.

Студенческое голосование трижды подряд приносило ему звание «Лучший преподаватель» — 2021–2023. Отмечен благодарностью ректора НИУ ВШЭ (июнь 2026), благодарностью первого проректора (январь 2024) и благодарностью факультета компьютерных наук (сентябрь 2022).