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