Институт системного программирования им. В. П. Иванникова Российской академии наук