• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты
Электронная почта:
Расписание
Версия для печати

 

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

Беляев Михаил Анатольевич

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

Образование

  • 2011

    Магистратура: Санкт-Петербургский государственный политехнический университет, специальность «Информатика и вычислительная техника»

  • 2009

    Бакалавриат: Санкт-Петербургский государственный политехнический университет, специальность «Информатика и вычислительная техника»

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


Публикации1

Глава книги Akhin M., Беляев М. А., Ицыксон В. М. Borealis bounded model checker: The coming of age story, in: Present and Ulterior Software Engineering. Springer International Publishing AG : Springer, Cham, 2017. doi P. 119-138. doi

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

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