About the training program
Models, methods and algorithms of design, analysis, transformation, verification and testing of programs and software systems; Programming languages and programming systems, program semantics; Models, methods, architectures, algorithms, languages, and software tools for organizing the interaction of programs and software systems; Intelligent systems for machine learning, database management, and knowledge management, tools for developing digital products; Symbolic computing software systems; Operating systems; Models, methods, algorithms, cloud technologies, and software infrastructure of a globally distributed data processing organization, etc.