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

Биография

Михаил окончил Санкт-Петербургский политехнический университет в 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%

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

Проекты

  • Система статического анализа исходного кода на языке С «Borealis»
  • Kotlin Online Education Platform

Публикации