Кафедра системного программирования, доцент, д.ф.-м.н.

Окончил факультет вычислительной математики и кибернетики МГУ имени М.В. Ломоносова в 2003 г.

Доктор физико-математических наук (2018), тема диссертации: «Многоуровневый статический анализ исходного кода для обеспечения качества программ». С 2004 г. работает в Институте системного программирования РАН, в настоящее время в должности ведущего научного сотрудника.

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

Лауреат премии правительства Москвы молодым ученым (2018).

Читает лекции по курсу «Алгоритмы и алгоритмические языки» для студентов бакалавриата, «Производительность программных систем» и «Анализ программ: понимание и оптимизация» для студентов магистратуры. Участвует в работе спецсеминара «Анализ и оптимизация программ» для студентов кафедры системного программирования. Подготовил 5 кандидатов наук.