Soutenance HDR de Monsieur Vincent BARICHARD
Le 2 septembre 2025 de 14:00 à 17:00
14h00 | Faculté des Sciences | 2, boulevard Lavoisier | ANGERS
Sujet : Solvers et systèmes pour la résolution de problèmes sous contraintes
Directeur de Recherche : Monsieur Eric MONFROY
RÉSUMÉ
Ce manuscrit a été rédigé en vue de l’obtention de l’Habilitation à Diriger des Recherches. La première partie est consacrée au cœur de mes activités de recherche. Initialement centré sur la programmation par contraintes et les CSP, mon travail a progressivement évolué vers les Constraint Handling Rules (CHR). Après avoir exploré les Quantified Constraint Satisfaction Problems (QCSP) et développé le solveur QuaCode, les limites rencontrées m’ont conduit à concevoir CHR++, un système CHR en C++, enrichi d’extensions adaptées à mes problématiques. L’extension Quantified Constraint Handled Rules (QCHR), qui intègre la prise en compte des variables quantifiées, s’inscrit dans cette continuité. La seconde partie retrace mon parcours depuis mon recrutement en tant que Maître de Conférences à l’Université d’Angers. J’y présente mes activités pédagogiques, scientifiques et collectives, ainsi que mes principales contributions, notamment en matière d’encadrement doctoral et de publications. Je conclus en présentant les axes de recherche que je souhaite approfondir, en plaçant CHR++ au centre de mes travaux futurs, aussi bien comme outil de modélisation que comme cadre à faire évoluer pour explorer de nouvelles problématiques.
