Explore la programmation parallèle dans Scala, les opérations fonctionnelles sur les collections, et les fonctions de carte parallèle sur les tableaux et les arbres.
Explore la vérification des programmes en utilisant l'inox, en mettant l'accent sur l'exactitude fonctionnelle, les assistants d'épreuve et l'automatisation des tâches de raisonnement.
Discute de la représentation des données au moyen de modèles et de systèmes, couvrant les modèles mathématiques, les structures de données, les niveaux de modélisation et la gestion des données.
