L’équipe Coconut est spécialiste de programmation par contraintes, et travaille plus particulièrement sur les thèmes suivants :
– propagation de contraintes et complexité de la satisfaction de contraintes,
– acquisition de contraintes, fouille de données et validation,
– programmation par contraintes sur les intervalles,
– agriculture de précision.
Les autres sujets qui nous intéressent sont par exemple les symétries, les fonctions de coût, la résolution adaptative, ou le raisonnement par contraintes distribué.
Permanents
Gilles Trombettoni, Professeur des universités, UM
Clément Carbonnel, Chargé de recherche, CNRS
Anastasia Paparrizou, Chargé de recherche, CNRS
Christian Bessiere, Directeur de recherche, CNRS
Nicolas Serrurier Gourvès, Adjoint technique, UM
Doctorants
Areski Himeur, UM
Verlein Radwan, UM
Autres personnels
Aicha Boukhari, Doctorant externe, CEA
Charles Vernerey, CDD Chercheur, Université de Toulouse
Zouhaira Ayadi, ATER, UM
Michael Sioutis, CDD Enseignant-Chercheur, UM
Titre : Fouille de données declarative basée sur la programmation par contraintes.
Doctorant : Mohamed Bachir Belaid
Date de soutenance : 2020-01-08
Directeur de thèse :
Christian Bessiere
Titre : révéler le contenu latent du code source. a la découverte des topoi de programme.
Doctorant : Carlo Ieva
Date de soutenance : 2018-11-23
Directeur de thèse :
Souhila Kaci
Titre : Méthodes à intervalles et stratégies de parcours d’arbre pour l’optimisation globale
Doctorant : Olivier Sans
Date de soutenance : 2018-11-19
Directeur de thèse :
Gilles Trombettoni
Titre : Les Cohérences Fortes : Où, Quand, et Combien
Doctorant : Robert Woodward
Date de soutenance : 2018-09-13
Directeurs de thèse :
Christian Bessiere,
Berthe Choueiry
Titre : Programmation par contraintes pour les tournées en agriculture de précision
Doctorant : Nicolas Briot
Date de soutenance : 2017-11-15
Directeurs de thèse :
Philippe Vismara,
Christian Bessiere
Titre : Extension de lIngénierie des Exigences à linformation spatio-temporelle.Apports dans le contexte des systèmes dinformation de gestion.
Doctorant : Mounir Touzani
Date de soutenance : 2016-12-16
Directeurs de thèse :
Thérèse Libourel,
Joël Quinqueton
Titre : Acquisition de Contraintes par Apprentissage de Structures
Doctorant : Abderrazak Daoudi
Date de soutenance : 2016-05-10
Directeur de thèse :
Christian Bessiere