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