Шамканов Данияр Салкарбекович

Доцент базовой кафедры Математического института им. В. А. Стеклова РАН на факультете математики НИУ ВШЭ и ведущий научный сотрудник Международной лаборатории логики, лингвистики и формальной философии. Кандидат физико-математических наук: степень присуждена в 2012 году МГУ им. М. В. Ломоносова по специальности 01.01.06 «Математическая логика, алгебра и теория чисел» за диссертацию «Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики». Высшее образование получил там же: в 2008 году окончил МГУ по специальности «Математика». В Вышке работает с 2012 года, научно-педагогический стаж — 14 лет.

Область исследований — теория доказательств и неклассические логики. Занимается логиками доказуемости, модальными и эпистемическими системами, нефундированными и циклическими выводами, а также алгебраической и топологической семантикой модальных исчислений. В 2025 году в «Известиях РАН. Серия математическая» вышла его статья «A realization theorem for the modal logic of transitive closure K+», а годом раньше в Logic Journal of the IGPL — работы «On structural proof theory of the modal logic K+ extended with infinitary derivations» и «On algebraic and topological semantics of the modal logic of common knowledge S4CI». Ранее опубликовал «Non-well-founded derivations in the Gödel-Löb provability logic» (The Review of Symbolic Logic, 2020) и «Non-well-founded proofs for the Grzegorczyk modal logic» в соавторстве с Ю. Саватеевым (там же, 2021), а также главу «Global neighbourhood completeness of the provability logic GLP» в сборнике Advances in Modal Logic (2020). В 2026 году в издательстве Springer выходит его глава «(Non-)well-founded derivations in the provability logic GLP» в томе, посвящённом наследию А. В. Кузнецова.

Учебная нагрузка сосредоточена вокруг научно-исследовательских семинаров «Современные проблемы математической логики» (первая и вторая части), которые идут и как магистерские дисциплины направления «Математика», и как дисциплины общефакультетского пула, доступные студентам всех кампусов Вышки. Семинар рассчитан на 3 кредита и 30 контактных часов, его цель — познакомить слушателей с классическими результатами и с последними продвижениями в математической логике, включая приложения в информатике, лингвистике и философии; в 2025/2026 году он ведёт его вместе с А. В. Кудиновым и В. Б. Шехтманом. В разные годы читал авторские курсы «Введение в обобщённую теорию рекурсий» (2024/2025), «Введение в категорную логику» (2023/2024), семинар «Алгебраическая логика», майнорный курс «Основания алгебры и геометрии» и «Дискретную математику» для первокурсников матфака.

Руководит аспирантской работой: под его научным руководством П. М. Разумный готовит кандидатскую диссертацию «О модальной логике QGL, расширенной нефундированными выводами». Совместная с аспирантом работа «Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs» была представлена на конференции SCAN 2023 в Москве. Регулярно выступает на теоретическом семинаре «Формальная философия» — в ноябре 2022 года с докладом «Циклические и нефундированные выводы в модальной логике», в декабре 2024-го — с докладом о значении автореферентности для онтологического аргумента.

Участвовал как исследователь в грантах РФФИ по теории доказательств и неклассическим логикам, в гранте Президента РФ для поддержки ведущих научных школ (НШ-5593.2012.1) и в совместном швейцарско-российском проекте Computational Proof Theory (2010—2011). По итогам студенческой оценки получил статус «Лучший преподаватель — 2025», дважды удостаивался надбавки за публикацию в международном рецензируемом научном издании.