Рыбаков Михаил Николаевич
- доцент:Факультет математики
- Начал работать в НИУ ВШЭ в 2019 году.
- Научно-педагогический стаж: 25 лет.
Образование, учёные степени и учёные звания
- 2019PhD: Университет Витватерсранда
- 2017Ученое звание: Доцент
- 2005Кандидат физико-математических наук: Ярославский государственный университет им. П.Г. Демидова
- 1999
Магистратура: Тверской государственный университет, специальность «Математика, прикладная математика», квалификация «Магистр»
- 1997
Бакалавриат: Тверской государственный университет, специальность «Математика», квалификация «Бакалавр»
Дополнительное образование / Повышение квалификации / Стажировки
Дополнительное образование
Психолог.
Преподаватель высшей школы.
Повышение квалификации
С 09.04.2018г. по 23.04.2018г. проходил в Тверском государственном университете.
С 10.05.2018г. по 25.05.2018г. проходил в Тверском государственном университете.
С 06.04.2020г. по 13.04.2020г. проходил в Тверском государственном университете.
С 01.04.2021г. по 23.05.2021г. проходил в АНО ВО "Университет Иннополис".
Достижения и поощрения
- Благодарность факультета математики НИУ ВШЭ (октябрь 2021)
Надбавка за публикацию в журнале из Списка А (и приравненном к нему научном издании) (2023-2024)
Надбавка за публикацию в международном рецензируемом научном издании (2022-2023, 2021-2022, 2020-2021)
- Победитель Конкурса лучших русскоязычных научных и научно-популярных работ работников НИУ ВШЭ – 2022
Научный руководитель диссертационных исследований
Учебные курсы (2023/2024 уч. год)
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
Учебные курсы (2022/2023 уч. год)
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Модальные логики и вычислительная сложность" (Дисциплина общефакультетского пула; 1, 2 модуль)Рус
Учебные курсы (2021/2022 уч. год)
Учебные курсы (2020/2021 уч. год)
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
Публикации50
- Глава книги Rybakov M., Shkatov D., Skvortsov D. On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics, in: Advances in Modal Logic Vol. 15. College Publications, 2024. P. 653-674.
- Статья Rybakov M. Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness // Logic Journal of the IGPL. 2024. Vol. 32. No. 3. P. 465-492. doi
- Глава книги Рыбаков М. Н. Неразрешимость логики QLC в языке с двумя предметными переменными // В кн.: IV Конференция математических центров России. Сборник тезисов. [б.и.], 2024. doi С. 151-152.
- Глава книги Agadzhanian I., Rybakov M., Shkatov D. Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames, in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M. : ., 2023. P. 13-17.
- Препринт Агаджанян И. А., Rybakov M., Шкатов Д. П. Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames / Cornell University. Series arXiv "math". 2023. doi
- Статья Rybakov M., Shkatov D. Complexity function and complexity of validity of modal and superintuitionistic propositional logics // Journal of Logic and Computation. 2023. Vol. 33. No. 7. P. 1566-1595. doi
- Глава книги Rybakov M., Shkatov D. On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics, in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M. : ., 2023. P. 73-74. doi
- Глава книги Rybakov M., Serova D. Tiling problems and complexity of logics, in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M. : ., 2023. P. 68-70.
- Препринт Rybakov M., Серова Д. А. Tiling problems and complexity of logics (extended version) / Cornell University. Series arXiv "math". 2023. doi
- Статья Рыбаков М. Н. Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? // Логические исследования. 2023. Т. 29. № 1. С. 114-146. doi
- Статья Рыбаков М. Н. Деревья как средство моделирования неразрешимых проблем // Вестник Тверского государственного университета. Серия: Прикладная математика. 2023. № 1. С. 5-23. doi
- Статья Рыбаков М. Н. Простой пример блокировки аргумента Крейга // Логические исследования. 2023. Т. 29. № 2. С. 36-58. doi
- Статья Rybakov M., Shkatov D. Complexity of finite-variable fragments of propositional temporal and modal logics of computation // Theoretical Computer Science. 2022. Vol. 925. P. 45-60. doi
- Препринт Рыбаков М. Н., Агаджанян И. А. Complexity of the variable-free fragment of the weak Grzegorczyk logic / arXiv. Серия 2211.14571 "Logic". 2022.
- Статья Rybakov M., Shkatov D. Undecidability of the logic of partial quasiary predicates // Logic Journal of the IGPL. 2022. Vol. 30. No. 3. P. 519-533. doi
- Статья Rybakov M., Shkatov D. Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages // Journal of Logic and Computation. 2021. Vol. 31. No. 5. P. 1266-1288. doi
- Статья Rybakov M., Shkatov D. Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages // Journal of Logic and Computation. 2021. Vol. 31. No. 2. P. 494-522. doi
- Статья Rybakov M., Shkatov D. Complexity of finite-variable fragments of products with K // Journal of Logic and Computation. 2021. Vol. 31. No. 2. P. 426-443. doi
- Статья Rybakov M., Shkatov D. Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter // Studia Logica. 2021 doi
- Статья Rybakov M., Shkatov D. Undecidability of QLTL and QCTL with two variables and one monadic predicate letter // Logical Investigations. 2021. Vol. 27. No. 2. P. 93-120. doi
- Глава книги Рыбаков М. Н. Геометрия, наглядность и современные технологии // В кн.: Перспективы развития математического образования в эпоху цифровой трансформации: материалы II Всероссийской научно-практической конференции. Тверь : ТвГУ, 2021. С. 172-176.
- Статья Рыбаков М. Н. Сложность проблемы равенства слов в многообразиях модальных алгебр // Вестник Тверского государственного университета. Серия: Прикладная математика. 2021. № 3. С. 5-17. doi
- Препринт Рыбаков М. Н., Александров К. И., Шкатов Д. П. Сложность фрагментов произведений с логикой T в языке с одной переменной / ArXiv. Серия arXiv:2112.03833 "arXiv:2112.03833". 2021.
- Статья Rybakov M., Shkatov D. Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages // Journal of Logic and Computation. 2020. Vol. 30. No. 7. P. 1305-1329. doi
- Глава книги Rybakov M., Shkatov D. Algorithmic properties of first-order modal logics of the natural number line in restricted languages, in: Advances in Modal Logic Vol. 13. College Publications, 2020. P. 523-539.
- Глава книги Shkatov D., Rybakov M. Computational properties of the logic of partial quasiary predicates, in: Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT '20). ACM, 2020. doi P. 58-65. doi
- Статья Rybakov M., Shkatov D. Recursive enumerability and elementary frame definability in predicate modal logic // Journal of Logic and Computation. 2020. Vol. 30. No. 2. P. 549-560. doi
- Глава книги Рыбаков М. Н. Элемент конструктивности в математических курсах // В кн.: Перспективы развития математического образования в эпоху цифровой трансформации. Материалы Всероссийской научно-практической конференции. Тверь, 27–28 марта 2020 года. Тверь : Тверской государственный университет, 2020. С. 176-180.
- Книга Rybakov M. Algorithmic properties of modal logics with restricted languages. University of the Witwatersrand, Johannesburg, 2019.
- Статья Rybakov M., Shkatov D. Complexity of finite-variable fragments of propositional modal logics of symmetric frames // Logic Journal of the IGPL. 2019. Vol. 27. No. 1. P. 60-68. doi
- Глава книги Rybakov M., Shkatov D. Trakhtenbrot theorem for classical languages with three individual variables, in: Proceedings of the South African Institute of Computer Scientists and Information Technologists 2019. NY : ACM, 2019. Ch. 19. P. 1-7. doi
- Статья Rybakov M., Shkatov D. Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter // Studia Logica. 2019. Vol. 107. No. 4. P. 695-717. doi
- Глава книги Рыбаков М. Н. Математическое образование: рекурсивная мозаика // В кн.: Перспективы развития математического образования в Твери и Тверской области. Тверь : Тверской государственный университет, 2019. С. 174-176.
- Глава книги Рыбаков М. Н., Шкатов Д. П. Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал // В кн.: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва. М. : Современные тетради, 2019. С. 43-45.
- Глава книги Rybakov M., Shkatov D. A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames, in: Advances in Modal Logic Vol. 12. College Publications, 2018. P. 531-539.
- Глава книги Rybakov M., Shkatov D. Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables, in: Theoretical Aspects of Computing – ICTAC 2018 Vol. 11187. Springer, 2018. P. 396-414. doi
- Статья Rybakov M., Shkatov D. Complexity and expressivity of propositional dynamic logics with finitely many variables // Logic Journal of the IGPL. 2018. Vol. 26. No. 5. P. 539-547. doi
- Глава книги Rybakov M., Shkatov D. On complexity of propositional linear-time temporal logic with finitely many variables, in: Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists. NY : ACM, 2018. P. 313-316. doi
- Статья Рыбаков М. Н. Аксиоматизируемость ненормальных и квазинормальных модальных предикатных логик первопорядково определимых классов шкал Крипке // Вестник Тверского государственного университета. Серия: Прикладная математика. 2018. № 3. С. 81-94. doi
- Статья Рыбаков М. Н., Чагрова Л. А. Алгоритмическая неразрешимость проблемы первопорядковой определимости формул логики ветвящегося времени // Программные продукты и системы. 2018. Т. 31. № 3. С. 591-597. doi
- Статья Рыбаков М. Н. Алгоритмические свойства линейно аппроксимируемых квазинормальных модальных логик // Вестник Тверского государственного университета. Серия: Прикладная математика. 2018. № 4. С. 87-97. doi
- Глава книги Рыбаков М. Н., Чемарина Ю. В., Шкатов Д. П. Модели времени и математическое образование // В кн.: Перспективы развития математического образования в Твери и Тверской области. Тверь : Тверской государственный университет, 2018. С. 173-178.
- Глава книги Rybakov M., Balbiani P. An axiomatization of iteration-free PDL with loop, in: Twelfth International Tbilisi Symposium on Language, Logic and Computation. Lagodekhi, Georgia: Tbilisi State University, 2017. P. 49-53.
- Глава книги Rybakov M., Shkatov D. On existence of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames, in: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. М. : Современные тетради, 2017. P. 45-45.
- Глава книги Рыбаков М. Н., Котикова Е. А. Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой // В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. М. : Современные тетради, 2017. С. 43-44.
- Статья Рыбаков М. Н. Неразрешимость модальных логик одноместного предиката // Логические исследования. 2017. Т. 23. № 2. С. 60-75. doi
- Глава книги Рыбаков М. Н. Неразрешимость модальных предикатных логик в языке с одной одноместной буквой // В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. М. : Современные тетради, 2017. С. 41-43.
- Глава книги Рыбаков М. Н. Образование и творчество // В кн.: Перспективы развития математического образования в Твери и Тверской области Ч. 2. Вып. 1. Тверь : Тверской государственный университет, 2017. С. 79-82.
- Статья Рыбаков М. Н., Котикова Е. А. Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами // Вестник Тверского государственного университета. Серия: Прикладная математика. 2016. № 4. С. 5-19. doi
- Статья Rybakov M., Котикова Е. А. Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics // Logical Investigations. 2015. Vol. 21. No. 1. P. 86-99.
Конференции
- 2020Advances in Modal Logic 2020 (Хельсинки). Доклад: Algorithmic properties of first-order modal logics of the natural number line in restricted languages
- 2019Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT'19) (Nombolo Mdluli Conference Centre, Skukuza). Доклад: Trakhtenbrot theorem for classical languages with three individual variables
- Одиннадцатые Смирновские чтения по логике (Москва). Доклад: Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал
- Перспективы развития математического образования в Твери и Тверской области (Тверь). Доклад: Математическое образование: рекурсивная мозаика
- 201815th International Colloquium on Theoretical Aspects of Computing (ICTAC) (Stellenbosch, South Africa). Доклад: Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables
- Advances in Modal Logic 2018 (Bern). Доклад: A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames
- Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT) (Port Elizabeth, South Africa). Доклад: On complexity of propositional linear-time temporal logic with finitely many variables
Участие в редколлегиях научных журналов
С 2017 г.: член редколлегии журнала «Логические исследования».
Опыт работы
Работа
ТвГУ
- 2001–2005 гг.: ассистент.
- 2005–2006 гг.: старший преподаватель.
- В декабре 2005 г. защитил кандидатскую диссертацию по специальности «01.01.06– Математическая логика, алгебра и теория чисел».
- С января 2006 г.: доцент.
- В сентябре 2017 г. получил звание доцента по специальности «Математическая логика, алгебра и теория чисел».
НИИ "Центрпрограммсистем"
- С сентября 2003 года: инженер-программист.
University of the Witwatersrand, Johannesburg
- 2015–2016 гг.: research fellow.
- 2018–2019 гг.: research fellow.
- В мае 2019 года защитил диссертацию и получил PhD in Computer Science.
Институт проблем передачи информации имени А. А. Харкевича РАН
- С июля 2019 года: ведущий научный сотрудник.
Высшая школа экономики
- С сентября 2019 года: доцент.