DALGO : Algorithmique Distribuée
Voir aussi : Page-Web de l’équipe DALGO
Mots clés
algorithmes, algorithmes distribués, modèles de calcul, agents mobiles, mémoire partagée, passage de messages, réseaux dynamiques, tolérance aux défaillances, réseaux anonymes, calculabilité distribuée, méthodes topologiques, systèmes embarqués, programmation synchrone
Responsable
Jeremie CHALOPINMembres
Chercheur
jeremie.chalopin@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, étage 5, bureau 528
Enseignant/Chercheur
shantanu.das@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 509
Enseignant/Chercheur
emmanuel.godard@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 540
Enseignant/Chercheur
damien.imbs@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 539
Enseignant/Chercheur
arnaud.labourel@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 539
Enseignant/Chercheur
alessia.milani@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 05.29
Enseignant/Chercheur
peter.niebert@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 530
Objectif scientifique
L’équipe d’Algorithmique Distribuée (DALGO) située à Luminy est une équipe du Laboratoire d’Informatique et Systèmes (UMR CNRS 7020). Le concept de système distribué est fondamental tant pour les applications pratiques que pour les fondements théoriques de l’informatique. Un système distribué est un environnement où plusieurs processus collaborent pour réaliser un objectif commun; dans un tel système, les différents processus ne peuvent communiquer directement qu’avec un nombre limité d’autres processus. On cherche à déterminer quels sont les comportements globaux qui peuvent être obtenus dans ces systèmes où les actions des processus n’ont qu’un impact local. L’équipe DALGO s’intéresse à la puissance de calcul de différents modèles distribués, et la complexité des problèmes considérés.
Les types de problématiques principalement considérées par l’équipe sont:
- Conception et analyse d’algorithmes distribués
- Systèmes à agents mobiles
- Systèmes à mémoire partagée et tolérance aux défaillances
- Modélisation des réseaux dynamiques
- Systèmes embarqués et programmation synchrone