La recherche
Département DISC
Département d'Informatique des Systèmes Complexes
Algorithmique numérique distribuée, réseaux mobiles, systèmes distribués, vérification et validation de logiciels et de dispositifs embarqués

Vous êtes ici

Equipes de recherches DISC

› Algorithmique Numérique Distribuée (AND)
- Simulation numérique et calcul sur grille
- Réseaux de capteurs, chaos et systèmes dynamiques discrets
- Bio-informatique

› Design and Evaluation Of DIstributed Systems (DEODIS)
- Réseaux de capteurs sans fil et systèmes limités en ressources
- Algorithmique pour la collaboration distribuée et l’ordonnancement

› Optimisation, Mobility, NetworkIng (OMNI)
- Réseaux mobiles multi-échelles

› Vérification et validation de logiciels et de systèmes embarqués (VESONTIO)
- Test à partir de modèles ; applications à la sécurité et aux systèmes embarqués
- Algorithmique des modèles finis ; applications à la vérification