À la une
Zooms scientifiques
Défis scientifiques
Trois thématiques prioritaires
-
Sécurité et fiabilité des logiciels
Dans les transports, la santé, l'énergie, les télécommunications… -
Calcul haute-performance et connaissances distribuées sur le web
Exploitation de données complexes pour le calcul haute-performance - Modélisation, simulation et optimisation de systèmes dynamiques complexes
Partenariats
Les partenariats s'étendent sur des niveaux très divers. En local, des collaborations étroites se sont tissées avec d'autres organismes de recherche, écoles et universités, qui hébergent la plupart de nos équipes communes. Mais les participations à des actions communes dépassent également nos frontières avec des projets européens, et des partenariats internationaux.
Rechercher une équipe
Mathématiques appliquées, calcul et simulation
Modèles et méthodes stochastiques
- REGULARITY - Modélisation probabiliste de la régularité et application à la gestion des incertitudes
Modélisation, simulation et analyse numérique
- DEFI - Détermination de Formes Et Identification
- POEMS - Propagation des Ondes : Étude Mathématique et Simulation
Optimisation, apprentissage et méthodes statistiques
- SELECT - Sélection de modèles en apprentissage statistique
- TAO - thème Apprentissage et Optimisation
Modélisation, optimisation et contrôle de systèmes dynamiques
Algorithmique, programmation, logiciels et architectures
Programmation, vérification et preuves
- COMETE - Concurrence, Mobilité et Transactions
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
- SECSI - Sécurité des systèmes d'information
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TYPICAL - Types, logique et calcul
Inria
Inria.fr
Inria Channel
