Рыбаков Михаил Николаевич

Доцент факультета математики НИУ ВШЭ, кандидат физико-математических наук и PhD in Computer Science. Окончил бакалавриат (1997) и магистратуру (1999) Тверского государственного университета по математике. Кандидатскую диссертацию по специальности 01.01.06 «Математическая логика, алгебра и теория чисел» защитил в декабре 2005 года в Ярославском государственном университете им. П. Г. Демидова, учёное звание доцента по той же специальности получил в сентябре 2017 года. В мае 2019 года защитил диссертацию и получил степень PhD в Университете Витватерсранда (Йоханнесбург), где до этого дважды работал research fellow — в 2015–2016 и 2018–2019 годах. В Высшей школе экономики работает с сентября 2019 года, научно-педагогический стаж, по данным университета, — 26 лет.

Карьеру начал в Тверском государственном университете: ассистент (2001–2005), старший преподаватель (2005–2006), затем доцент. С сентября 2003 года работал инженером-программистом в НИИ «Центрпрограммсистем», с июля 2019 по июль 2024 года был ведущим научным сотрудником Института проблем передачи информации имени А. А. Харкевича РАН; по данным реестра ORCID, с сентября 2024 года — ведущий научный сотрудник Московского физико-технического института. Входит в редколлегию журнала «Логические исследования» с 2017 года.

Ведёт научно-исследовательский семинар «Логика и алгоритмы» для второкурсников бакалавриата «Математика» и общеуниверситетский майнор «Логика». В разные годы читал курс «Введение в обобщённую теорию рекурсий» из общефакультетского пула и научно-исследовательский семинар «Модальные логики и вычислительная сложность». Зарегистрировал результат интеллектуальной деятельности — массовый открытый онлайн-курс «Логика» (РИД 8.0087-2023), подготовленный вместе с Н. А. Гришичкиным и Л. А. Рыбаковой.

Научные интересы — математическая логика, теория моделей, модальная и интуиционистская логика, теория алгоритмов и вычислительная сложность. Основное направление работы — алгоритмическая выразительность фрагментов неклассических логик, получающихся ограничением языковых средств: числа пропозициональных переменных, числа и арности предикатных букв, количества предметных переменных. Публикуется в международных журналах: «Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables» (Annals of Pure and Applied Logic, 2026), «Variations on the Kripke Trick» (Studia Logica, 2025), «Predicate counterparts of modal logics of provability: high undecidability and Kripke incompleteness» (Logic Journal of the IGPL, 2024), «Complexity of finite-variable fragments of propositional temporal and modal logics of computation» (Theoretical Computer Science, 2022). На русском языке вышли статьи «Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?» и «Простой пример блокировки аргумента Крейга» («Логические исследования», 2023).

Докладывал результаты на конференциях Advances in Modal Logic (Берн, 2018; Хельсинки, 2020), на конгрессах Южноафриканского института компьютерных наук и информационных технологий, на Смирновских чтениях по логике и на V Конференции математических центров России (Красноярск, 2025). Докторскую диссертацию «Моделирование логических систем средствами их фрагментов» представил к защите в совете по математике НИУ ВШЭ, защита состоялась 20 ноября 2025 года; в состав комитета вошли Л. Д. Беклемишев, В. Б. Шехтман, С. П. Одинцов, М. Р. Пентус и С. М. Дудаков. Отмечен благодарностью факультета математики (2021) и признан победителем конкурса лучших русскоязычных научных и научно-популярных работ работников НИУ ВШЭ 2022 года. По итогам студенческого голосования входил в списки лучших преподавателей университета в 2021 и 2023–2024 годах.