• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Contacts
Phone:
+7 (495) 772-95-90
15304
Address: 6 Usacheva Ulitsa, room 417
Timetable
SPIN-RSCI: 1408-9349
ORCID: 0000-0002-1491-1310
ResearcherID: O-5806-2018
Scopus AuthorID: 55114172200
Google Scholar
Supervisor
A. Skripchenko
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Mikhail Rybakov

  • Mikhail Rybakov has been at HSE University since 2019.

Education, Degrees and Academic Titles

  • 2019

    PhD
    University of the Witwatersrand

  • 2017
    Associate Professor
  • 2005

    Candidate of Sciences* (PhD)
    P.G. Demidov Yaroslavl State University

  • 1999

    Master's
    Tver State University

  • 1997

    Bachelor's
    Tver State University

* Candidate of Sciences
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

Courses (2022/2023)

Courses (2021/2022)

Courses (2020/2021)

Courses (2019/2020)

Publications37

Conferences

  • 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

2017: Member of the Editorial Board, Логические исследования (Logical Investigations).

Timetable for today

Full timetable