Шехтман Валентин Борисович

Профессор факультета математики НИУ ВШЭ, доктор физико-математических наук. Работает в университете с 2010 года, научно-педагогический стаж по данным университета — 48 лет. В 1975 году окончил математический факультет Московского государственного педагогического института им. В. И. Ленина, аспирантуру проходил на механико-математическом факультете МГУ им. М. В. Ломоносова. Защитил кандидатскую, а в 2000 году — докторскую диссертацию по специальности 01.01.06 «Математическая логика, алгебра и теория чисел». По данным профиля ORCID, помимо Вышки работает ведущим научным сотрудником Института проблем передачи информации им. А. А. Харкевича РАН.

Область исследований — математическая логика и неклассические логики с приложениями к универсальной алгебре, топологии и информатике. Ведёт научно-исследовательские семинары «Современные проблемы математической логики» для магистрантов и студентов общефакультетского пула: первая часть — 3 кредита и 30 контактных часов, вторая читается в 3–4 модулях. Для бакалавров-математиков читает курс и семинар «Логика и алгоритмы», для общефакультетского пула — англоязычный Introduction to Model Theory, а также вёл курсы «Введение в теорию моделей», «Множества и модели» и семинар «Категории и универсальная алгебра».

В базе публикаций НИУ ВШЭ к профилю привязано 32 работы, охватывающие полвека: самые ранние — «Двумерные модальные логики» («Математические заметки», 1978), «Топологические модели пропозициональных логик» («Семиотика и информатика», 1980) и «Modal logics of domains on the real plane» (Studia Logica, 1983). Центральная тема последних лет — проблема полноты модальных предикатных логик в семантике Крипке: ей посвящены статья «On Kripke completeness of modal predicate logics around quantified K5» (Annals of Pure and Applied Logic, 2023) и глава «On Kripke completeness of some modal predicate logics with the density axiom» в сборнике Advances in Modal Logic (2018). Классические результаты изложены в статьях «Undecidability of modal and intermediate first-order logics with two individual variables» (Journal of Symbolic Logic, 1993, совместно с Д. Габбаем), «Maximal Kripke-type semantics for modal and superintuitionistic predicate logics» (Annals of Pure and Applied Logic, 1993, с Д. Скворцовым) и «Products of modal logics, part 3» (Studia Logica, 2000).

Отдельная линия — произведения модальных логик и локальная табличность. Сюда относятся работы «Products of modal logics and tensor products of modal algebras» (Journal of Applied Logic, 2014), «Squares of modal logics with additional connectives» (Russian Mathematical Surveys, 2012), «Canonical filtrations and local tabularity» (Advances in Modal Logic, 2014), «Local tabularity without transitivity» (2016, с И. Шапировским) и «Бисимуляционные игры и локально табличные логики» («Успехи математических наук», 2016). Он соавтор монографии Quantification in Nonclassical Logic (2009, с Д. Скворцовым и Д. Габбаем) и главы «Modal Products and Around» в сборнике Springer «Graph Games and Logic Design» (2026). На русском языке вышла обзорная глава «Современная модальная логика: между математикой и информатикой» (2018).

С 2012 года входит в редколлегию журнала «Logic Journal of the IGPL». Был программным председателем конференции Advances in Modal Logic в Москве (2010) и приглашённым докладчиком на семинарах и конференциях в Вене, Утрехте, Тбилиси, Берне и Гуанчжоу; регулярно выступает на конференциях Advances in Modal Logic, Мальцевских чтениях и конференциях математических центров России — последние доклады посвящены модальным логикам предикатов и слияниям канонических предикатных модальных логик. Руководил проектами РФФИ, в том числе грантами 10-01-06022-г, 11-01-00958-а и 11-01-93107-НЦНИЛ_а, участвовал в проекте по фундаментальным задачам алгебраической геометрии и математической логики и их приложениям к теории передачи информации и в проекте гранта Президента РФ для ведущих научных школ. Отмечен благодарностью первого проректора НИУ ВШЭ (2024), получал надбавки за публикации в журналах из Списка А в 2024–2025 и 2025–2026 годах.