Окончил школу №11 г.Череповца Вологодской области (2001), факультет вычислительной математики и кибернетики МГУ (2006, с отличием), аспирантуру факультета ВМК (2009).

В 2010 году защитил диссертацию на соискание ученой степени кандидата физико-математических наук, тема диссертации: «Построение тестовых программ для проверки подсистем управления памяти микропроцессоров» (научный руководитель А. К. Петренко).

С 2007 года работает в Институте системного программирования имени В. П. Иванникова РАН, c 2012 года — в должности научного сотрудника.

Работает на факультете ВМК в должности: ассистента (2010), старшего преподавателя (2014), доцента (2016) кафедры системного программирования.

Член Совета молодых ученых факультета ВМК. Входит в программный комитет конференции SYRCoSE. Участвует в подготовке универсиады «Ломоносов» по прикладной математике и информатике.

Отмечен стипендией факультета ВМК для молодых преподавателей и ученых (2015). Лауреат премии по Программе развития МГУ (2016).

Область научных интересов: формальные методы разработки программ, методы спецификации и верификации программ, методы автоматизации тестирования программ и микропроцессоров, технологии программирования.

Ведет курс «Формальные методы разработки программ» в магистратуре, занятия практикума для студентов 2 курса бакалавриата.

Автор более 10 научных публикаций, в том числе:

1. Генерация тестовых данных для тестирования механизмов кэширования и трансляции адресов микропроцессоров. Программирование, 36(1): 40-49, 2010 (link);
   

2. Генерация тестовых данных для системного функционального тестирования FIFO-кэш-памяти микропроцессоров. Вычислительные методы и программирование, вып.10, 2009, С.218-227 (link).

© Кафедра системного программирования ВМК МГУ.

Обновлено: 27.III.2020