Equipes de recherches DISC

› Algorithmique Numérique Distribuée (AND)
- Traitement d’images sur architectures spécifiques
- Algorithmes distribués pour l’IoT
- Sécurité et chiffrement

› Design and Evaluation Of DIstributed Systems (DEODIS)
- Intelligence Artificielle distribuée
- Systèmes multi-agents
- Ordonnancement parallèle
- Sécurité et vie privée

› 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