Sobre o programa de treinamento
Modelos, métodos e algoritmos de projeto, análise, transformação, verificação e teste de programas e sistemas de software; Linguagens de programação e sistemas de programação, semântica de programas; Modelos, métodos, arquiteturas, algoritmos, linguagens e ferramentas de software para organizar a interação de programas e sistemas de software; Sistemas inteligentes de aprendizado de máquina, gerenciamento de bancos de dados e conhecimento, ferramentas de desenvolvimento de produtos digitais; Sistemas de software de computação simbólica; Sistemas operacionais; Modelos, métodos, algoritmos, nuvem e infraestrutura de software de uma organização de processamento de dados distribuído globalmente, etc.