La recherche
Département DISC
Sciences Informatiques
Algorithmes numériques distribués, réseaux mobiles, systèmes distribués, vérification et validation de logiciels et de dispositifs embarqués

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)


organigramme du département

Télécharger l'organigramme DISC

Dernière modification :
28/04/2023