• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
495 772-9590
Address: 6 Usacheva Ulitsa, room 417
Download CV (PDF, 165 Kb)
SPIN-RSCI: 1408-9349
ORCID: 0000-0002-1491-1310
ResearcherID: O-5806-2018
Scopus AuthorID: 55114172200
Google Scholar
V. Timorin
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

    University of the Witwatersrand

  • 2017
    Associate Professor
  • 2005

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

  • 1999

    Tver State University

  • 1997

    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.

Courses (2019/2020)



  • 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