Équipe MDSC

Équipe MDSC (Modèles Discrets pour les Systèmes Complexes)

Responsables : Enrico Formenti - Adrien Richard

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 trois 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 méthode basée sur la logique de Hoare pour l’identification de paramètres qui a fait ses preuves;
  • 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.

Informations