![](https://www.lektorium.tv/sites/lektorium.tv/files/styles/lector_and_university_220x170/public/speakers/lipovskij.png?itok=BbcEbg29)
Роман Липовский
В прошлом — старший разработчик в департаменте инфраструктуры Яндекса. Лектор курсов по concurrency и распределенным алгоритмам в МФТИ, ВШЭ, ШАД.
Интересы: concurrency, распределенные системы, верификация конкурентных алгоритмов и формальные методы.