Recherche
Les travaux étudient ce qui se perd, ou s’ajoute, quand un artefact logiciel est transformé en un autre : un modèle en un autre modèle (transformations de modèles), une application monolithique en microservices (gestion de la consistance), et, plus largement, des systèmes complexes maintenus par mégamodélisation. En parallèle, un second axe porte sur l’IA pour l’éducation : apprentissage adaptatif centré sur l’enseignant, pour des classes à grands effectifs en Afrique.
Axes de recherche
- Génie Logiciel & Architectures Logicielles Modernes
- Mégamodélisation & Systèmes Complexes
- Transformations de modèles s’appuyant sur les grands modèles de langage (LLM) et les embeddings neuronaux
- Gestion formelle de la consistance (sémantique axiomatique, méthodes formelles)
- Intelligence Artificielle pour l’Éducation (AI4Ed)
- Apprentissage Adaptatif & Personnalisé
Projets actifs
SEMANTICA — Transformations de modèles et IA
Décomposition de la perte sémantique dans les transformations de modèles à l’aide d’embeddings neuronaux ; mégamodèles interrogeables et intégration bayésienne de nouveaux langages de modélisation dédiés (DSML).
Publication associée : Decomposing Semantic Loss in Model Transformations with Neural Embeddings (ICECET 2026).
AI4Nieup — Plateforme d’apprentissage adaptatif en IA
Démocratiser l’éducation en IA en Afrique : parcours personnalisés par niveaux (intuition / application / formel), données ancrées dans les contextes africains, labs pratiques intégrés. Développée dans le cadre de DiCentre4AI et de l’African Futures Research Leadership Program (AFRLP) de l’Alliance for African Partnership (AAP), Michigan State University (MSU).
Consistance dans les architectures microservices
Extension du framework Micro-Flex (ICTIS 2025) : fonction de transition complète, spécification TLA+ vérifiée par model checking, DSL de contrats de consistance.
Publication associée : Micro-Flex: Flexible Consistency Management in Microservice Architectures Through Megamodel-Based State Transition Rules (ICTIS 2025).
Trajectoires éducatives personnalisées en STEM
Systèmes adaptatifs pour l’enseignement des mathématiques, avec pour objectif d’augmenter le nombre d’élèves qui s’orientent vers les filières scientifiques au Sénégal.
Publications
La liste complète, classée par année de conférence, est sur la page Publications.