À la une

Apporter des réponses pour des échanges plus sûrs

© Inria / Photo Kaksonen © Inria / Photo Kaksonen

Vérifier des protocoles cryptographiques, présents dans le commerce en ligne ou les distributeurs de billets, mais aussi mettre en place des outils de détection d’intrusion dans un système informatique, et ainsi alerter si une suite d’actions semblent malveillantes, tels sont les objectifs de l’équipe-projet Secsi (commune avec le LSV, le CNRS, et l’ENS Cachan). À l’occasion de la soutenance de l’habilitation à diriger des recherches (HDR) de trois de ses membres, focus sur leurs travaux de recherche.

Lire la suite

Zooms scientifiques

© INRIA / Photo Kaksonen

Développer les connaissances

Nos zooms scientifiques permettent d'approfondir les sujets de recherche du centre, regroupés par thématiques : des mathématiques appliquées à l'interaction homme-machine en passant par la fiabilité des logiciels, découvrez les recherches de nos équipes.

Lire la suite

Défis scientifiques

© INRIA / Photo C. Lebedinsky

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

Lire la suite

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.

Science pour tous

Promouvoir le goût des sciences

Les chercheurs d’Inria s’investissent chaque année dans des actions de diffusion de la culture scientifique auprès des professeurs, des élèves et du grand public.

Toutes les actions de vulgarisation et de formation

Rechercher une équipe

Mathématiques appliquées, calcul et simulation

Modèles et méthodes stochastiques

Modélisation, simulation et analyse numérique

Optimisation, apprentissage et méthodes statistiques

Modélisation, optimisation et contrôle de systèmes dynamiques

Algorithmique, programmation, logiciels et architectures

Programmation, vérification et preuves

Algorithmique, calcul certifié et cryptographie

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

Réseaux et télécommunications

Calcul distribué et applications à très haute performance

Perception, cognition, interaction

Interaction et visualisation

Représentation et traitement des données et des connaissances

STIC pour les sciences de la vie et de l'environnement

Observation, modélisation et commande pour le vivant

Biologie numérique et bioinformatique

Images, modèles et algorithmes pour la médecine et les neurosciences

Rechercher une équipe

Siège et centres de recherche Inria

Accès direct

Social