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

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)
- 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

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
› Calcul haute performance et distribué
› E-Santé et bio-informatique (Biom’@x)


organigramme du département

 Télécharger l'organigramme DISC