City: Санкт-Петербург Новосибирск Казань Language: Русский English

Роман Германович Липовский

МФТИ

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

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

Course offerings

Course Semester
Theory of Distributed Computing autumn 2019