Dmitry Zhurikhin

Researching static analysis for more than a decade. Compilers - even longer. One of the developers of Svace, a static analyzer for multiple languages. Teacher at the faculty of Computational Mathematics and Cybernetics of Lomonosov Moscow State University.