Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук