Axes de recherche

Le pôle MDSC (Modèles Discrets pour les Systèmes Complexes) du laboratoire i3S mène des recherches aussi bien fondamentales qu’appliquées sur les systèmes discrets complexes. Ses membres sont spécialisés en programmation par contraintes pour traiter les systèmes statiques (i.e. problèmes combinatoires) et théorie des automates pour traiter les systèmes dynamiques discrets. Ses résultats trouvent leur application dans des domaines très variés comme la bio-informatique, le transport, la génération de texte sous contraintes, les systèmes communicant ou encore la sécurité informatique.

MDSC structure ses activités autour de deux équipes principales :

• Contraintes et Applications (C&A) et
• Modèles de Calcul, Complexité et Combinatoire (MC3).

L'équipe C&A est titulaire de la chaire « Decision Intelligence » de l'institut 3IA Côte d'Azur détenue par le professeur Jean-Charles Régin.