Les équipes-projets du centre Inria de Paris

Mis à jour le 28/10/2020

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

  • Almanach - Modélisation et analyse linguistique automatique et humanités computationnelles
  • Alpines - Algorithms and parallel tools for integrated numerical simulations
  • Ange - Analyse Numérique, Géophysique et Environnement
  • Antique - Analyse Statique par Interprétation Abstraite
  • Aramis - Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique
  • Cage - Contrôle et géométrie
  • Cambium - Langages de programmation : systèmes de types, concurrence, preuve de programme
  • Cascade - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
  • CoML - Apprentissage machine cognitif
  • Commedia - Mathématiques et calcul scientifique pour les applications bio-médicales
  • Cosmiq - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
  • Delys - Algorithmes et systèmes distribués
  • Dyogene - Dynamics of Geometric Networks
  • Eva - Réseaux sans fil pour applications adaptatives et susceptibles d'évoluer
  • Gang - Réseaux, graphes et algorithmes
  • Inbio - Méthodes expérimentales et numériques pour la modélisation des processus cellulaires
  • Kopernic - Adapter le raisonnement pire cas à différentes criticités
  • Mamba - Modelling and Analysis for Medical and Biological Applications
  • Matherials - MATHematics for MatERIALS
  • Mathrisk - Mathematical Risk handling
  • Mimove - Middleware on the Move
  • Mokaplan - Avancées en calcul numérique des variations
  • Ouragan - OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs
  • Parkas - Parallélisme de Kahn Synchrone
  • PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
  • Prosecco - Programming securely with cryptography
  • Quantic - QUANTum Information Circuits
  • Reo - Simulation numérique d'écoulements biologiques
  • Rits - Robotics & Intelligent Transportation Systems
  • Serena - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
  • Sierra - Apprentissage Statistique et Parcimonie
  • Valda - Valeur à partir des donnés
  • Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
  • Willow - Modèles de la reconnaissance visuelle d'objets et de scènes