Mikhail Rybakov
- Associate Professor: Faculty of Mathematics
- Mikhail Rybakov has been at HSE University since 2019.
Education, Degrees and Academic Titles
University of the Witwatersrand
Tver State University
Tver State University
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
Awards and Accomplishments
Best Teacher — 2023–2024, 2021
Winner of the HSE University Best Russian Research Paper Competition – 2022
Courses (2024/2025)
- Introduction to Generalized Recursion Theory (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
- Logic (Minor)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
- Past Courses
Courses (2023/2024)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
Courses (2022/2023)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
- Research Seminar "Modal Logics and Computational Complexity" (Optional course (faculty); 1, 2 module)Rus
Courses (2021/2022)
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
Courses (2020/2021)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 3 year, 3, 4 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
Conferences
- 2023
Тринадцатые Смирновские чтения по логике (Москва). Presentation: Трюк Крипке и разрешимость монадических фрагментов модальных и суперинтуиционистских предикатных логик
- 2021
Двенадцатые Смирновские чтения по логике (Москва). Presentation: Algorithmic properties of QK4.3 and QS4.3
Неразрешимость логик с унарным предикатом и двумя переменными (Тверь). Presentation: Неразрешимость логик с унарным предикатом и двумя переменными
- 2020
Advances in Modal Logic 2020 (Хельсинки). Presentation: Algorithmic properties of first-order modal logics of the natural number line in restricted languages
Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT) (Cape Town). Presentation: Computational properties of the logic of partial quasiary predicates
- 2019
Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT'19) (Nombolo Mdluli Conference Centre, Skukuza). Presentation: Trakhtenbrot theorem for classical languages with three individual variables
Одиннадцатые Смирновские чтения по логике (Москва). Presentation: Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал
Перспективы развития математического образования в Твери и Тверской области (Тверь). Presentation: Математическое образование: рекурсивная мозаика
- 2018
15th International Colloquium on Theoretical Aspects of Computing (ICTAC) (Stellenbosch, South Africa). Presentation: Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables
Advances in Modal Logic 2018 (Bern). Presentation: 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). Presentation: On complexity of propositional linear-time temporal logic with finitely many variables
- 2017
Десятые Смирновские чтения по логике (Москва). Presentation: Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой
Перспективы развития математического образования в Твери и Тверской области. Научно-практическая конференция (Тверь). Presentation: Образование и творчество
XII Tbilisi Symposium of Language, Logic and Computation (Lagodekhi). Presentation: An axiomatization of iteration-free PDL with loop
Editorial board membership
Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism
In late October and early November, HSE University hosted the Autumn School on ‘Logic and Formal Philosophy’ and a conference on logical pluralism as part of a collaborative project uniting Russian and Brazilian philosopher-logicians and mathematician-logicians. The project’s leaders and participants, Elena Dragalina-Chernaya, Itala Loffredo D'Ottaviano, Marcelo Esteban Coniglio, and Evandro Luis Gomes, shared their insights about the initiative.
Mikhail Rybakov made a presentation at the workshop "Non-Standard Logics" at the S.L.Sobolev Institute of Mathematics SB RAS
On September 9, Mikhail Rybakov made a presentation on the topic of "The Undecidability of QLC with Two Variables" at the workshop "Non-Standard Logics"at the S.L.Sobolev Institute of Mathematics SB RAS in Novosibirsk