Места работы 2011 - настоящее время Научный сотрудник Институт системного программирования им. В.П. Иванникова РАН Отдел компиляторных технологий 2018 - настоящее время Ассистент Московский государственный университет имени М.В.Ломоносова Факультет вычислительной математики и кибернетики 2021 - настоящее время Доцент Национальный исследовательский университет «Высшая школа экономики» Факультет компьютерных наук Темы исследований статический анализ, символьное исполнение, SMT решатели. Образование 2019 Диссертация на соискание учёной степени кандидата физико-математических наук Институт системного программирования им. В.П. Иванникова РАН 2014 - 2018 Аспирантура Московский государственный университет имени М.В.Ломоносова Факультет вычислительной математики и кибернетики 2009 - 2014 Специалист (прикладная математика и информатика) Московский государственный университет имени М.В.Ломоносова Факультет вычислительной математики и кибернетики
