Михаил Беляев

Михаил Беляев


Исследовательские группы

Биография

Михаил окончил Санкт-Петербургский политехнический университет в 2011 году, и с тех пор принимает участие в различных R&D проектах. Он прошел три отдельные стажировки в Microsoft Research Redmond.

Михаил преподает в следующих областях:

  • основы программирования (Java / C ++),
  • функциональное программирование (Haskell и друзья),
  • программная инженерия (управление проектами, работа в команде),
  • программное обеспечение для контроля качества (статический анализ, система типов, и т.д.).

Профессиональная активность

Текущее исследование

  • В основном работает над Borealis -- метод ограниченной проверки моделей для C

Стажировки

  • MSR Redmond, 2013 (feat. Nikolai Tillmann) — adding debugging experience to the Touchdevelop project (visual debugger, crash logs cloud processing, instrumentation, etc.)
  • MSR Redmond, 2014 (feat. Tom Ball & Ella Bounimova) — "verifying the verifier", developing a framework for testing, checking and visualizing rules for SLIC, a static verifier rule definition language
  • MSR Redmond, 2015 — turning the SLIC framework into a production-ready tool, expanding the volume of supported rules from 10% to 99%

Больше информации можно найти здесь

Публикации

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

2019

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

ASE 2019

Подробнее

Borealis Bounded Model Checker: The Coming of Age Story

September 2017

Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

Present and Ulterior Software Engineering (pp. 119--137)

Подробнее

Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT Solver

December 2015

M. Petrov, K. Gagarski, M. Belyaev, V. Itsykson

Automatic Control and Computer Sciences, Volume 49, Issue 7

Подробнее

Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ

2015

М.А. Беляев, В.М. Ицыксон

Моделирование и анализ информационных систем

Подробнее

Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification

2015

M. Belyaev, V. Itsykson

Innopolis

Подробнее

Software Defect Detection by Combining Bounded Model Checking and Approximations of Functions

December 2014

M. Akhin, M. Belyaev, V. Itsykson

Automatic Control and Computer Sciences, Volume 48, Issue 7

Подробнее

Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration

2014

М. Belyaev, М. Akhin, V. Itsykson

Humanities and Science University Journal, #8

Подробнее