Vous êtes ici
Présentation
Le DISC est le département de FEMTO-ST qui traite des sciences informatiques. L'objectif principal des recherches menées étant de modéliser, simuler, développer et valider les systèmes complexes.
Axes de recherche
Parmi les axes stratégiques en informatique identifiés par le CNRS et Inria, également reflétés au niveau des programmes H2020, le DISC, compte tenu de ses compétences, se concentre sur :
› Les nouveaux outils de programmation pour maîtriser la complexité croissante des logiciels, leur assurer une meilleure fiabilité et garantir la sécurité de leur mise en œuvre.
› Les nouvelles méthodes de modélisation, de simulation, d’optimisation et de résolution de problèmes à grande échelle.
Equipes de recherche
Le département, qui compte environ 100 personnes, est structuré en 4 équipes de recherche :
› Algorithmique Numérique Distribuée (AND)
- Intelligence artificielle et réseaux de neurones profonds
- Traitement d’images sur architectures spécifiques
- Sécurité et chiffrement
- Algorithmes distribués pour l’IoT
› 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
Ainsi, quatre domaines applicatifs sont identifiés :
› Fiabilité, sûreté et sécurité dans les systèmes complexes
› Micro et nanosystèmes distribués intelligents
› Intelligence artificielle et calcul distribué
› E-Santé et bio-informatique (Biom’@x)
