ИСИ >> Hаучно-исследовательские подразделения >> Лаборатория теоретического программирования Руководитель лаборатории — Промский Алексей Владимирович