Domaines de recherche
Inria est organisé autour de cinq domaines de recherche. A la tête de chaque domaine, un directeur scientifique adjoint qui assure la coordination, la prospective et l'animation scientifique.... Rencontres avec nos cinq scientifiques.
Domaine de recherche
STIC pour les sciences de la vie et de l’environnement
Domaine de recherche
Mathématiques appliquées, calcul & simulation
Domaine de recherche
Perception, cognition, interaction
Domaine de recherche
Réseaux, Systèmes et services, calcul distribué
© Inria / Photo S. Tetu - La Company
Domaine de recherche
Algorithmique, programmation, logiciels et architectures
Equipes de recherche du centre Rennes
Mathématiques appliquées, calcul et simulation
Modèles et méthodes stochastiques
- ASPI - Applications statistiques des systèmes de particules en interaction
- I4S - Inférence Statistique pour la Surveillance et la Sécurité des Structures
Modélisation, simulation et analyse numérique
Algorithmique, programmation, logiciels et architectures
Programmation, vérification et preuves
- CELTIQUE - Certification de logiciel par analyse sémantique
- TASC - Theory, Algorithms and Systems for Constraints
Systèmes embarqués et temps réel
- ESPRESSO - Environnement de spécification de programmes réactifs synchrones
- S4 - Synthèse et supervision de systèmes, scénarios
- VERTECS - modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs
Architecture et compilation
Réseaux, systèmes et services, calcul distribué
Réseaux et télécommunications
- DIONYSOS - Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
- DISTRIBCOM - Algorithmes itératifs et distribués pour la gestion de systèmes de télécommunications
Systèmes et services distribués
- ACES - Informatique diffuse et systèmes embarqués
- ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques
- ASCOLA - Langages d'aspects et de composition
- ATLANMOD - Technologies de modélisation pour la production, le fonctionnement et l'évolution du logiciel
- CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
- MYRIADS - Conception et mise en oeuvre de systèmes distribués autonomes
- TRISKELL - Construction fiable et efficace d'applications par assemblage de composants logiciels
Calcul distribué et applications à très haute performance
Perception, cognition, interaction
Vision, Perception et interprétation multimédia
- SIROCCO - Analysis representation, compression and communication of visual data
- TEXMEX - Techniques d'exploitation des données multimédia
Interaction et visualisation
- MIMETIC - Analysis-Synthesis Approach for Virtual Human Simulation
- VR4I - Virtual Reality for Improved Innovative Immersive Interaction
Représentation et traitement des données et des connaissances
Robotique
Langue, parole et audio
STIC pour les sciences de la vie et de l'environnement
Observation et modélisation pour les sciences de l'environnement
- FLUMINANCE - Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
- SAGE - Simulations et algorithmes sur des grilles de calcul appliqués à l'environnement
Biologie numérique et bioinformatique
- DYLISS - Dynamics, Logics and Inference for biological Systems and Sequences
- GENSCALE - Scalable, Optimized and Parallel Algorithms for Genomics
- SERPICO - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
Inria
Inria.fr
Inria Channel
