Лаборатория распределенных вычислений, исследований моделей, алгоритмов и программ