Кудинов Андрей Валерьевич

Доцент факультета математики НИУ ВШЭ, кандидат физико-математических наук. Работает в университете с 2012 года, научно-педагогический стаж, по данным профиля, составляет 19 лет. Основное место работы вне Вышки — Институт проблем передачи информации имени А. А. Харкевича РАН, где он занимает должность старшего научного сотрудника.

Окончил МГУ имени М. В. Ломоносова в 2001 году по специальности «Математика, прикладная математика» с квалификацией «Математик». В 2008 году защитил в МГУ кандидатскую диссертацию «Топологическая модальная логика с модальностью неравенства» по специальности 01.01.06 «Математическая логика, алгебра и теория чисел». Область исследований — модальная логика, топологическая и окрестностная семантика, логика знания, теория алгоритмов и алгоритмическая сложность.

Участвовал в грантах РНФ 21-11-00318 и 16-11-10252, РФФИ 16-01-00615, 14-01-93105 и 11-01-00958, был руководителем гранта РФФИ для молодых учёных 14-01-31442, а также работал в академической программе поддержки научно-учебных групп НИУ ВШЭ (проекты № 19-04-050 и № 21-04-027). Выступал с докладами на профильных международных конференциях: Advances in Modal Logic в Будапеште (2016) с докладом Neighbourhood products of pretransitive logics with S5, Advances in Modal Logic в Гронингене (2014) с докладом Neighbourhood frame product KxK и Topology, Algebra, and Categories in Logic в Нэшвилле (2013) с докладом Derivational modal logic of real line with difference modality. В феврале 2023 года представил доклад «Логика пространств подмножеств с публичными высказываниями» на 75-м заседании научно-теоретического семинара «Формальная философия».

К его профилю в базе публикаций НИУ ВШЭ привязано более двадцати работ. Среди них — Two Types of Filtrations for wK4 and Its Relatives (Studia Logica, 2025), On Strictly Positive Fragments of Modal Logics with Confluence (Mathematics, 2022), On neighbourhood product of some Horn axiomatizable logics (Logic Journal of the IGPL, 2018), «О разбиениях шкал Крипке конечной высоты» («Известия РАН. Серия математическая», 2017), «О финитной аппроксимируемости модальных логик конечной глубины» («Успехи математических наук», 2016), «О топологической модальной логике R с неравенством» («Успехи математических наук», 2008) и глава Derivational Modal Logics with the Difference Modality в сборнике Leo Esakia on Duality in Modal and Intuitionistic Logics (Springer, 2014). Руководил кандидатской диссертацией В. В. Слюсарева «Модальная логика случайных шкал Крипке», защита которой состоялась 15 января 2026 года в совете НИУ ВШЭ по математике.

Ведёт для первого курса совместного бакалавриата НИУ ВШЭ и Центра педагогического мастерства курс «Введение в дискретную математику и топологию» (8 кредитов, 130 контактных часов) — множества, отношения и отображения, метрические и топологические пространства, компактность и топология поверхностей. На факультете компьютерных наук читает авторский курс «Математическая логика на Python» (80 контактных часов), где логика высказываний и логика предикатов изучаются через программные проекты. Участвует в проведении магистерского научно-исследовательского семинара «Современные проблемы математической логики» вместе с В. Б. Шехтманом и Д. С. Шамкановым; семинар отмечен студентами как лучший по критериям полезности для будущей карьеры, расширения кругозора и новизны полученных знаний. Ранее вёл курсы «Логика и алгоритмы», «Пропозициональные логические системы», «Элементы математической логики» и семинар «Алгебраическая логика». Отмечен надбавкой НИУ ВШЭ за публикацию в международном рецензируемом научном издании.