Руководитель Центра исследований безопасности системного программного обеспечения. Ведущий научный сотрудник ИСП РАН.
Кандидат физико-математических наук (2006 г.), тема диссертации − «Спецификация и тестирование компонентов с асинхронным интерфейсом», руководитель А. К. Петренко. С 1999 г. работает в Институте системного программирования РАН, с 2009 г. − на кафедре системного программирования ВМК МГУ. Основные научные достижения: участие в создании технологии разработки тестов на основе формальных моделей UniTESK и поддерживающих ее инструментов, разработка унифицированной архитектуры тестового набора и правил построения расширений языков программирования для разработки тестов на основе контрактных спецификаций, разработка методов построения тестов для математических библиотек и разработка специализированной технологии быстрого создания тестов работоспособности.