Domaines de recherche
Inria est organisé autour de cinq domaines de recherche. A la tête de chaque domaine, un directeur scientifique adjoint qui assure la coordination, la prospective et l'animation scientifique.... Rencontres avec nos cinq scientifiques.
Domaine de recherche
STIC pour les sciences de la vie et de l’environnement
Domaine de recherche
Mathématiques appliquées, calcul & simulation
Domaine de recherche
Perception, cognition, interaction
Domaine de recherche
Réseaux, Systèmes et services, calcul distribué
© Inria / Photo S. Tetu - La Company
Domaine de recherche
Algorithmique, programmation, logiciels et architectures
Equipes de recherche du centre Paris - Rocquencourt
Mathématiques appliquées, calcul et simulation
Modèles et méthodes stochastiques
Modélisation, simulation et analyse numérique
- CAD - Computer Aided Design
- GAMMA3 - Génération automatique de maillages et méthodes avancées
- MICMAC - Méthodes et ingénierie du calcul multi-échelle de l'atome au continuum
Optimisation, apprentissage et méthodes statistiques
Algorithmique, programmation, logiciels et architectures
Programmation, vérification et preuves
- ABSTRACTION - Interprétation abstraite et analyse statique
- CONTRAINTES - Programmation par contraintes
- DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
- FORMES - Méthodes Formelles pour les Systèmes Embarqués
- GALLIUM - Langages de programmation, types, compilation et preuves
- MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
- PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
- PROSECCO - Programming securely with cryptography
Algorithmique, calcul certifié et cryptographie
- ALGORITHMS - Algorithmes
- CASCADE - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
- CRYPT - Cryptanalyse
- OURAGAN - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
- POLSYS - Polynomial Systems
- SECRET - Sécurité, Cryptologie et Transmissions
Systèmes embarqués et temps réel
Réseaux, systèmes et services, calcul distribué
Réseaux et télécommunications
- GANG - Réseaux, graphes et algorithmes
- HIPERCOM - Communication hautes performances
- RAP - Réseaux, algorithmes et probabilités
- TREC - Théorie des réseaux et communications
Systèmes et services distribués
Perception, cognition, interaction
Vision, Perception et interprétation multimédia
- IMEDIA2 - Images et multimédia : indexation, navigation et recherche
- WILLOW - modèles de la reconnaissance visuelle d'objets et de scènes
Représentation et traitement des données et des connaissances
- AXIS - Conception, analyse et amélioration de systèmes d'informations dirigées par les usages
- SMIS - Systèmes d'informations sécurisés et mobiles
Robotique
Langue, parole et audio
STIC pour les sciences de la vie et de l'environnement
Observation et modélisation pour les sciences de l'environnement
- ANGE - Analyse Numérique, Géophysique et Ecologie
- CLIME - Couplage de la donnée environnementale et des modèles de simulation numérique pour une intégration logicielle
- POMDAPI - Modélisation pour l'environnement, optimisation et modèles de programmation
Observation, modélisation et commande pour le vivant
- BANG - Analyse numérique de modèles non linéaires pour la Bio et Géophysique
- REO - Simulation numérique d'écoulements biologiques
- SISYPHE - SIgnaux et systèmes en PHysiologie et ingénieriE
Inria
Inria.fr
Inria Channel
