Je m’intéresse actuellement à deux domaines principaux : la programmation par contraintes et la conception préliminaire.
Mes travaux se répartissent selon deux axes principaux :
- Les algorithmes de résolution. Je m’intéresse à la résolution de problèmes hétérogènes de grande taille, comme ceux rencontrés en conception préliminaire. Je mets en oeuvre aussi bien des algorithmes de satisfaction de contraintes que des algorithmes évolutionnaires. Les problèmes traités sont majoritairement continus mais peuvent comportés des variables discrètes.
- La modélisation des problèmes. Elle s’avère souvent déterminante pour l’efficacité de la résolution. De plus, je m’intéresse à l’ingénierie des modèles (cf. l’approche MDA de l’OMG) appliquée à la modélisation de CSP (Constraint Satisfaction Problem). Cette approche permet de raisonner sur les concepts d’un langage ou d’un problème. J’utilise la plateforme AMMA développée par l’équipe INRIA AtlanMod nouvellement créée.
Plus généralement, je m’intéresse à la modélisation et à l’optimisation des systèmes complexes. L’identification de concepts clés issus de la modélisation permet, ensuite, de pouvoir adapter le processus de résolution/optimisation, comme j’ai pu le montrer pendant ma thèse avec de nouveaux algorithmes en programmation par contraintes issus de l’analyse des concepts présents en conception préliminaire.