директор Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН), академик РАН