Marie Pelleau, calédonienne et ancienne étudiante de la licence math/Info à l’UNC et actuellement maître de conférences en informatique à l’Université Côte d’Azur, présentera ses travaux, dans le cadre de notre séminaire, ce vendredi 28 mars de 13h à 14h. S Elle est spécialiste dans la programmation par contraintes et les problèmes combinatoires.
La programmation par contraintes s’attache à résoudre des problèmes fortement combinatoires, exprimés à l’aide de relations logiques (les contraintes), portant sur des variables dans des domaines fixés, souvent finis. Chaque type de contraintes est dotée d’un algorithme de propagation, qui élague autant que possible les domaines des variable sans perdre de solutions. Les solveurs appliquent ces propagateurs tant que c’est possible, puis effectuent des choix (affectation d’une valeur à une variable, réduction d’un domaine) et itèrent le processus. On sait aujourd’hui résoudre des familles de contraintes assez larges (cardinalité, graphes, mots, géométrie…).
Marie Pelleau est maître de conférences en informatique à Université Côté d’Azur, dans l’équipe MDSC du laboratoire i3s. Son thème de recherche principal est la programmation par contraintes. Elle s’intéresse à la résolution de contraintes dans le continu et aux liens entre les contraintes et la vérification (interprétation abstraite, modèle checking).
