Équipe MDSC
Équipe MDSC (Modèles Discrets pour les Systèmes Complexes)
Responsables : Enrico Formenti - Jean-Charles Regin
Présentation
Les recherches de l’équipe MDSC (Modèles Discrets pour les Systèmes Complexes) portent sur les modèles formels pour les systèmes complexes et leur application dans différents domaines (principalement la Biologie, les Mathématiques et l'Informatique). L’équipe présente aussi une forte activité dans le domaine de la programmation par contraintes et de la vérification de programmes qui a sa propre visibilité et qui interagit avec les autres thématiques à plusieurs niveaux.
L’équipe est structurée en deux thèmes :
L’équipe conduit des recherches en informatique fondamentale qui impactent les défis sociaux les plus actuels en matière de :
- Optimisation Combinatoire;
- Complexité dans les Systèmes Dynamiques;
- Complexité Computationnelle;
- Modélisation de Systèmes Complexes;
- Néurocognition;
- Systèmes Dynamiques Discrets;
- Problem Solving;
- Vérification;
- Biologie des Systèmes.
Parmi nos résultats récents les plus marquants on trouve :
- une mise en relation entre les points fixes d’un système dynamique discret, les codes correcteurs d’erreurs et le problème du network coding;
- une nouvelle méthode de résolution de contraintes en parallèle (embarrassingly parallel search) qui dans certains cas surclasse les méthodes traditionnelles;
- une nouvelle connexion entre interprétation abstraite et programmation par contraintes qui a donné lieu a des excellentes publication et a ouvert la voie à un nouveau projet d’envergure au niveau national et international.
