Départements de recherche

Equipes de recherche


Equipes de recherche du DISC

› Algorithmique Numérique Distribuée (AND)
Étude des algorithmes itératifs asynchrones, gestion de données pour réseaux de capteurs, chaos pour la sécurité informatique, conception d'algorithmes efficaces pour la bio-informatique.

En savoir plus sur l’équipe

› Systèmes répartis et réseaux, Collaboration, Ordonnancement (CARTOON)
Étude d'algorithmes pour les systèmes sur grilles de calcul ou entre les éléments des clusters, pour les applications coopératives, notamment en télémédecine, et pour les dispositifs embarqués (capteurs…).

En savoir plus sur l’équipe

› Optimisation, Mobilité & Réseau (OMNI)
Étude, gestion et optimisation pour les réseaux mobiles multi-échelles prenant en compte les problématiques de gestion des ressources réseaux et la géolocalisation.

En savoir plus sur l’équipe

› Vérification et validation de logiciels et de systèmes embarqués (VESONTIO)
Étude des modèles et méthodes pour la vérification et la validation (test) de logiciels et systèmes, en particulier dans le cadre des systèmes embarqués, des systèmes composés et de la sécurité.

En savoir plus sur l’équipe