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

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

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

С 2010 года работает в Московском университете, на 2014 год — в должности старшего преподавателя кафедры системного программирования.

Активно участвует в проведении студенческих олимпиад по программированию. Член Совета молодых ученых факультета ВМК. Начальник курса.

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

Ведет семинарские занятия по курсу 'Формальная спецификация и верификация программ', занятия практикума для студентов 2 курса, кафедральный практикум для студентов 3 курса.

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

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

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

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

Обновлено: 15.3.2011