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. 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 y métodos de creación de programas y sistemas de software para el procesamiento paralelo y distribuido de datos, lenguajes y herramientas de programación paralela