Institut Carnot Inria

Notre site

Une offre adaptée aux besoins des entreprises : 

• recherche contractuelle et collaborative
• transfert de technologie et maturation
• accords cadres pour collaborations longue durée

Un modèle unique de structuration de la recherche en équipe-projet, autour d’un leader scientifique, avec double mission de recherche et de transfert,
sur tous les domaines logiciels des sciences du numérique :

Mathématiques appliquées, calcul et simulation

• Schémas et simulations numériques
• Approches stochastiques
• Optimisation, apprentissage et méthodes statistiques
• Optimisation et contrôle de systèmes dynamiques

Algorithmique, programmation, logiciels et architectures

• Preuves et vérification
• Sécurité et confidentialité
• Algorithmique, calcul formel et cryptologie
• Systèmes embarqués et temps réel
• Architecture, langages et compilation

Réseaux, systèmes et services, calcul distribué

• Réseaux et télécommunications
• Systèmes distribués et intergiciels
• Calcul distribué et haute performance
• Programmation distribuée & génie
• logiciel

Perception, cognition et interaction

• Vision, perception, interprétation multimedia
• Interaction et visualisation
• Représentation et traitement des données et connaissances
• Robotique et environnements intelligents
• Langue, parole et audio 

Santé, biologie et planète numériques

• Sciences de la planète, de l’environnement, de l’énergie
• Modélisation et commande pour le vivant
• Biologie numérique
• Neurosciences, médecine numériques