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

 

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

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

  • Начал работать в НИУ ВШЭ в 2019 году.
  • Научно-педагогический стаж: 21 год.

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

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

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

  • 1997

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

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

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

Психолог.

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

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

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

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

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

 

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

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

Публикации28

Конференции

  • 2020
    Advances in Modal Logic 2020 (Хельсинки). Доклад: Algorithmic properties of first-order modal logics of the natural number line in restricted languages
  • 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 г.: член редколлегии журнала «Логические исследования».


Опыт работы

Работа

ТвГУ

  • 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 года: доцент.

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

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