Окончил с отличием факультет Вычислительной Математики и Кибернетики МГУ им. М. В. Ломоносова, кандидат физико-математических наук. С 1999 года работает в ИСП РАН, является руководителем Центра исследований безопасности системного программного обеспечения. Участвует в разработке ARINC-653-совместимой операционной системы реального времени, инструментов верификации операционных систем. Автор более 300 патчей, принятых в ядро Linux.