À 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. 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 et méthodes de création de programmes et de systèmes logiciels pour le traitement parallèle et distribué des données, langages et outils de programmation parallèle