Algorithmes parallèles et programmation parallèle (Parallel algorithms and parallel programming)   Conception d'algorithmes multi-BSP sur les graphes et leur implantation à l'aide d'une extension de OCaml dédiée à la programmation distribuée multi-BSP. Implantation distribué de modèles concurrents. Vérification de programmes (Verification of programs))   Certifications de la traduction et de la compilation de openCypher (un langage de requêtes pour grands graphes) Preuves en Coq de Programmes Multi-ML.