Inria
Inria.fr
Inria Channel
Défis scientifiques
Nos défis
Le centre de recherche Inria Rennes - Bretagne Atlantique a défini dans le plan stratégique 2008-2012 de l’Inria trois thématiques scientifiques prioritaires :
- les images et données multimodales
- le logiciel fiable, sécurisé et performant
- les systèmes distribués à très grande échelle.
Partenariats
Un réseau de partenaires étendu
Dans le cadre de sa politique partenariale, le centre de recherche Inria Rennes - Bretagne Atlantique développe, de nombreuses collaborations scientifiques académiques, européennes et internationales. Il est notamment un acteur engagé dans la mise en place de l’espace européen de la recherche.
Sciences pour tous
Quand STIC et société se rencontrent…
Les chercheurs du centre Inria Rennes – Bretagne Atlantique font partager au plus grand nombre leur passion de scientifique.
Rechercher une équipe
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
