Centre Inria de Paris

Departments and units

• INBIO : Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires Research facility
• Centre Inria de Sorbonne Université Research facility
• SERENA: Simulation for the Environment: Reliable and Efficient Numerical Algorithms Research facility
• Heka : Méthodes basées sur les données et modèles en santé pour l'acquisition de connaissances Research facility
• MUSCLEES: Compréhension mathématique multi-échelles d'écosystèmes vivants complexes avec structures émergentes Research facility
• VALDA: Valeur à partir des données Research facility
• KOPERNIC: Adapter le raisonnement pire cas à différentes criticités Research facility
• MATHRISK: Mathematical Risk handling Research facility
• PROSECCO: Programming securely with cryptography Research facility
• CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme Research facility
• COSMIQ: Cryptologie symétrique, cryptologie fondée sur les codes et information quantique Research facility
• ARGO: Apprentissage, graphes et optimisation distribuée Research facility
• NERV: Neuroingénierie des systèmes pour modéliser et interfacer les réseaux cérébraux Research facility
• DYOGENE: Dynamics of Geometric Networks Research facility
• PARKAS: Parallélisme de Kahn Synchrone Research facility
• ANTIQUE: Analyse Statique par Interprétation Abstraite Research facility
• ARAMIS: Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique Research facility
• PICUBE: Les assistants à la démonstration au cœur du raisonnement mathématique Research facility
• AIO: Mise en réseau fiable, sans fil à faible consommation et micro-robotique Research facility
• SIERRA: Apprentissage Statistique et optimisation Research facility
• MIMOVE: Middleware on the Move Research facility
• WILLOW: Vision par ordinateur incarnée Research facility
• ALPINES: Algorithmes et outils parallèles pour des simulations numériques intégrées Research facility
• QUANTIC: QUANTum Information Circuits Research facility
• COMMEDIA: Mathématiques et calcul scientifique pour les applications bio-médicales Research facility
• CASCADE: Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entitées Research facility
• WHISPER: Well Honed Infrastructure Software for Programming Environments and Runtimes Research facility
• ANGE: Analyse Numérique, Géophysique et Environnement Research facility
• ASTRA: Systèmes de transport automatisés et sécurisés Research facility
• EPIMETHEE: Approches expérimentales et numériques pour explorer le cerveau des insectes Research facility
• CAGE: Contrôle et géométrie Research facility
• MOKAPLAN: Avancées en calcul numérique des variations Research facility
• MATHERIALS: MATHematics for MatERIALS Research facility
• ALMANACH: Modélisation et analyse linguistique automatique et humanités computationnelles Research facility