Ivannikov Institute for System Programming of the Russian Academy of Sciences