Equipe-projet CAMBIUM Langages de programmation : systèmes de types, concurrence, preuve de programme Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...
Equipe-projet COMMEDIA Mathématiques et calcul scientifique pour les applications bio-médicales L’activité de recherche de COMMEDIA est axée sur la simulation numérique d'écoulements bio-fluides...
Equipe-projet OURAGAN OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs L'équipe OURAGAN se concentre sur le transfert de méthodes de calcul algébriques vers quelques...
Equipe-projet VALDA Valeur à partir des données Les recherches de Valda portent sur les aspects fondamentaux et systèmes de la gestion de données...
Nastassia Pouradier Duteil. Science du vivant Nastassia Pouradier Duteil, la passion de la dynamique collective 31/05/2024
© Inria / Photo C. Morel Sécurité et confidentialité Anne Canteaut, virtuose de la cryptographie et lauréate du prix Irène Joliot-Curie 13/05/2024
Photo de groupe de l'équipe-projet ARGO. Culture & Société Allier mathématiques et machine learning pour défricher les réseaux sociaux 25/04/2024
© Inria / Photo B. Fourrier Cognition Rachel Bawden améliore les modèles de traduction automatique 16/01/2024
Neurosciences Interfaces cerveau-ordinateur : une équipe-projet pluridisciplinaire pour aider les patients paralysés 09/01/2024
Santé - Médecine personnalisée Des larves de drosophile pour mieux comprendre les maladies neurologiques 11/12/2023