Occupation 2011 - present Researcher, Software Engineer Ivannikov Institute for System Programming of the RAS Compiler Technology Department 2018 - present Assistant Professor Moscow State University Department of Computational Mathematics and Cybernetics 2021 - present Associate Professor Higher School of Economics Faculty of Computer Science Research topics static program analysis, symbolic execution, SMT solvers. Education 2019 Ph.D. in Computer Science Ivannikov Institute for System Programming of the RAS 2014 - 2018 Postgraduate studies Moscow State University Department of Computational Mathematics and Cybernetics 2009 - 2014 Specialist in Applied Mathematics and Computer Science Moscow State University Department of Computational Mathematics and Cybernetics
