• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
495 772-9590
15304
Электронная почта:
Адрес: Усачева ул., д. 6, каб. 417
Время присутствия: Четверг, 10:30-15:00
Расписание
Резюме (PDF, 165 Кб)
SPIN РИНЦ: 1408-9349
ORCID: 0000-0002-1491-1310
ResearcherID: O-5806-2018
Scopus AuthorID: 55114172200
Google Scholar
Руководитель
Тиморин В. А.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

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

  • Начал работать в НИУ ВШЭ в 2019 году.

Образование, учёные степени и учёные звания

  • 2017
    Ученое звание: Доцент
  • 2005
    Кандидат физико-математических наук: Ярославский государственный университет им. П.Г. Демидова
  • 1999

    Магистратура: Тверской государственный университет, специальность «Математика, прикладная математика»

  • 1997

    Бакалавриат: Тверской государственный университет, специальность «Математика»

Дополнительное образование / Повышение квалификации / Стажировки

Дополнительное образование

Психолог.

Преподаватель высшей школы.

Повышение квалификации 

С 09.04.2018г. по 23.04.2018г. проходил в Тверском государственном университете.

С 10.05.2018г. по 25.05.2018г. проходил в Тверском государственном университете.

 

Учебные курсы (2019/2020 уч. год)

Публикации20

Конференции

  • 2019
    Annual 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
  • Одиннадцатые Смирновские чтения по логике (Москва). Доклад: Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал
  • Перспективы развития математического образования в Твери и Тверской области (Тверь). Доклад: Математическое образование: рекурсивная мозаика
  • 2018
    15th 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 г.: член редколлегии журнала «Логические исследования».

Расписание занятий на сегодня

Полное расписание