À propos du programme de formation
Modèles, méthodes et algorithmes de conception, d'analyse, de transformation, de vérification et de test de programmes et de systèmes logiciels; Langages de programmation et systèmes de programmation, sémantique des programmes; Modèles, méthodes, architectures, algorithmes, langages et outils logiciels d'organisation de l'interaction des programmes et des systèmes logiciels; Systèmes intelligents d'apprentissage automatique, de gestion de bases de données et de connaissances, outils de développement de produits numériques; Systèmes logiciels de calcul symbolique; Systèmes d'exploitation; Modèles, méthodes, algorithmes, technologies cloud et infrastructure logicielle de l'organisation du traitement des données distribué globalement, etc.