В прошлом – старший разработчик в департаменте инфраструктуры Яндекса. Лектор курсов по concurrency и распределенным алгоритмам в МФТИ, ВШЭ, ШАД.

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