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