Centre Inria de l'Université de Rennes

Departments and units

• Empenn Research facility
• DEVINE: Vérification efficace pour des systèmes distribués fiables Research facility
• HYCOMES: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Research facility
• MALT: Apprentissage Automatique avec Contraintes Temporelles Research facility
• HYBRID: 3D interaction with virtual environments using body and mind Research facility
• I4S: Inférence pour les InfraStructures Intelligentes et Instrumentées Research facility
• RAINBOW: robotique interactive et référencée capteurs Research facility
• GENSCALE: Algorithmes pour les données génomiques : passage à l'échelle, précision, frugalité Research facility
• ODYSSEY: Océan Dynamique Observations Analyse Research facility
• LINKMEDIA: Creating and exploiting explicit links between multimedia fragments Research facility
• LACODAM: Fouille de données collaborative à grande échelle Research facility
• SIMSMART: SIMulation pARTiculaire de Modèles Stochastiques Research facility
• DIVERSE: Diversity-centric Software Engineering Research facility
• GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve Research facility
• SEAMLESS: Interaction et collaboration fluides à travers le continuum réalité-virtualité Research facility
• CAPSULE: Cryptographie Appliquée et Sécurité des Implémentations Research facility
• KERDATA: Stockage et traitement de données sur le continuum Edge-Cloud-HPC Research facility
• MINGUS: Schémas numériques géométriques multi-échelles Research facility
• MIMETIC: Analysis-Synthesis Approach for Virtual Human Simulation Research facility
• SAIRPICO: Imagerie Spatio-Temporelle, Intelligence Artificielle et Calcul Numérique pour la Biologie Cellulaire et Chemobiologie Research facility
• EPICURE: Analyse sémantique et compilation pour la sécurité des environnements d'exécution Research facility
• VIRTUS: Nous, virtuels Research facility
• COMBO: Biomécanique et Méthodes Numériques pour l'analyse de l'interaction humain-systèmes hors du laboratoire Research facility
• STACK: Pile logicielle pour les infrastructures massivement géo distribuées Research facility
• SUSHI: Sécurité à l'interface logiciel/matériel Research facility
• DYLISS: Dynamics, Logics and Inference for biological Systems and Sequences Research facility
• PIRAT: Protection de l'information et résistances aux attaques Research facility
• ERMINE: Gestion et mesures des opérations et de l'économie des réseaux Research facility
• TARAN: Architectures matérielles spécialisées pour l'ère post loi-de-Moore Research facility
• ARTISHAU: Intelligence artificielle : sécurité, traçabilité et audit Research facility
• PACAP: Pushing Architecture and Compilation for Application Performance Research facility
• MAGELLAN: Infrastructures Informatiques Fiables, Responsables, et Décentralisées Research facility
• WIDE: le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination Research facility
• COMPACT: Compression de donn'ees visuelles massives Research facility
• BIOGRAPHS: Graphes Biologiques Research facility