Equipes de recherches DISC

› Artificial Intelligence Modeling and Optimization Systems (AIMOS)
L'équipe AIMOS développe des méthodes en intelligence artificielle, optimisation et calcul distribué pour l'analyse, la prédiction et l'aide à la décision dans les systèmes comples :

- Intelligence artificielle, apprentissage automatique et IA générative
- Optimisation combinatoire, multicritère et sous incertitude
- Modélisation, simulation et aide à la décision
- Systèmes distribués, IoT et traitement de données massives et hétérogènes 
- IA explicable, robuste et frugale

› 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