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