Les équipes-projets du centre Inria Rennes - Bretagne Atlantique

Mis à jour le 20/12/2019

Retrouvez ci-dessous la liste des équipes-projets.

  • Cairn - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
  • Celtique - Certification de logiciel par analyse sémantique
  • Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
  • Dionysos - Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
  • Diverse - Diversity-centric Software Engineering
  • Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
  • Ease - Solutions pour des environnements intelligents abordables
  • Empenn - EMPENN
  • Fluminance - Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
  • Gallinette - Gallinette : vers une nouvelle génération d'assistant à la preuve
  • Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
  • Hybrid - 3D interaction with virtual environments using body and mind
  • Hycomes - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
  • I4S - Inférence Statistique pour la Surveillance et la Sécurité des Structures
  • Kerdata - Scalable Storage for Clouds and Beyond
  • Lacodam - Fouille de données collaborative à grande échelle
  • Linkmedia - Creating and exploiting explicit links between multimedia fragments
  • Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
  • Mingus - Schémas numériques géométriques multi-échelles
  • Myriads - Conception et mise en oeuvre de systèmes distribués autonomes
  • Pacap - Pushing Architecture and Compilation for Application Performance
  • Panama - (SR0561SR) - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
  • Rainbow - (SR0842HR) - robotique interactive et référencée capteurs
  • Serpico - (SR0582UR) - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
  • Simsmart - (SR0856DR) - SIMulation pARTiculaire de Modèles Stochastiques
  • Sirocco - (SR0505NR) - Analysis representation, compression and communication of visual data
  • Stack - (SR0854HR) - Pile logicielle pour les infrastructures massivement géo distribuées
  • Sumo - (SR0671YR) - SUpervision of large MOdular and distributed systems
  • Tamis - (SR0825UR) - Analyse de la menace et atténuation pour la sécurité des informations
  • Tea - (SR0677JR) - Time, Events and Architectures
  • Wide - le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination