Le thème Programmation parallèle de haut-niveau et axé sur la conception de langages de haut-niveau pour la programmation parallèle, le design d’algorithmiques distribués et leur vérification (sûreté et preuves de correction des programmes) et l’utilisation du calcul haute-performance (HPC) pour le model-checking, la sécurité, le Big-Data, l’IA (machine learning) ou les environnements de type cloud. Nos travaux sont donc orientés vers la sécurité et la sûreté des systèmes massivement parallèles (notamment les machines distribuées hiérarchiques). Cela s’effectue donc naturellement dans la continuité de nos anciens travaux sur la programmation parallèle de « haut-niveau », le meta- et grid-computing.