Méthodes Formelles de Développement
Spécification et vérification formelles de programmes.
Deep Learning
Le cours Deep Learning, offert au Master de Recherche en Informatique – Parcours Smart Systems de l'ENSI, offre aux étudiants une compréhension avancée des méthodes d’apprentissage profond utilisées pour concevoir des systèmes intelligents. Il couvre les fondements théoriques, les architectures modernes, ainsi que les applications pratiques dans les systèmes intelligents (vision, langage, réseaux complexes, données temporelles, etc.).
Empirical Software Engineering
Master M2-level course on Empirical Software Engineering
Qualité et Test Logiciel
This course presents the principles of software quality as well as software test.
Systèmes de Recommandation
The course presents the main approaches of recommendation: collaborative filtering, content-based, knowledge-based and hybrid, as well as how to evaluate such systems.