Part of the Institute for System Programming of the Russian Academy of Sciences, this is a research and development organization focusing on Computer-Aided Software Engineering. Particular areas of interest are formal language processing, including comp