Mikhail graduated from the St. Petersburg Polytechnic University in 2011, and since then has been involved in various R&D projects. He took three separate internships at Microsoft Research Redmond.
Known as a language collector, Mikhail claims to be proficient in ~10 programming languages, which is: a). obviously not true, and b). not enough these days anyway.
Mikhail teaches programming basics (Java/C++), functional programming (Haskell & friends), software engineering (project management, teamwork), and software QA (static analysis, type systems, etc).
- Mainly working on Borealis — the bounded model checker for 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%
More info can be found here
Bounded model checker for C programming language
Kotlin Online Education Platform
Concolic testing for KotlinProject supervisor: Azat Abdullin
Making Kotlin better via extensions to the language
Program Analysis and Verification Lab Researcher