About the training program
Models, methods, and algorithms for designing, analyzing, transforming, verifying, and testing programs and software systems. Models, methods, architectures, algorithms, languages, and software tools for organizing the interaction of programs and software systems. Intelligent machine learning, database and knowledge management systems, digital product development tools. Symbolic computing software systems. Operating systems. Models and methods of creating programs and software systems for parallel and distributed data processing, parallel programming languages and tools