Sobre el programa de formación
Modelos, métodos y algoritmos de diseño, análisis, transformación, verificación y prueba de programas y sistemas de software; Lenguajes de programación y sistemas de programación, semántica de programas; Modelos, métodos, arquitecturas, algoritmos, lenguajes y herramientas de software para organizar la interacción de programas y sistemas de software; Sistemas inteligentes de aprendizaje automático, gestión de bases de datos y conocimientos, herramientas de desarrollo de productos digitales; Sistemas de software de computación simbólica; Sistemas operativos; Modelos, métodos, algoritmos, tecnologías en la nube e infraestructura de software de una organización de procesamiento de datos distribuida globalmente, etc.