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