Доцент НИУ ВШЭ СПб, Постдок в MPI-SWS
Область интересов: языки программирования, формальные методы, многопоточные вычисления, слабые модели памяти.
Сайт: podkopaev.net