Centre Inria de Lyon

Departments and units

• PASCALINE: Arithmétique des ordinateurs, calcul formel et vérification formelle Research facility
• BEAGLE: Artificial Evolution and Computational Biology Research facility
• SEMIS: Sciences, Milieux, Information, Sociétés Research facility
• AGORA: AlGorithmes et Optimisation pour Réseaux Autonomes Research facility
• MALICE: Apprentissage automatique avec intégration des connaissances en ingénierie de surface : théorie et algorithmes Research facility
• MUSICS: Systèmes de cellules avec interactions multi-échelles Research facility
• AVALON: Algorithms and Software Architectures for Distributed and HPC Platforms Research facility
• AISTROSIGHT: La pharmacologie des neurones et des astrocytes à l’aide des sciences du numérique Research facility
• CASTING: Dynamiques du Cancer, adaptation et modélisation Research facility
• ARIC: Arithmétiques des ordinateurs, méthodes formelles, génération de code Research facility
• PRIVATICS: Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information Research facility
• OCKHAM: Optimisation, Connaissances pHysiques, Algorithmes et Modèles Research facility
• ERABLE: Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale Research facility
• QINFO: Traitement optimal de l'information avec des dispositifs quantiques Research facility
• Simulation et Analyse de la morphogenèse in siliCo Research facility
• MARACAS: Modèle et algorithmes pour des systèmes de communication fiables Research facility
• CASH: Compilation et Analyse, Logiciel et Matériel Research facility
• CHROMA: Robots coopératifs et adaptés à la présence humaine en environnements Research facility
• ROMA: Optimisation des ressources : modèles, algorithmes et ordonnancement Research facility
• EMERAUDE: Systèmes Embarqués audio programmables Research facility