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

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

https://gitlab.com/Lipovsky