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 HEKA Méthodes basées sur les données et modèles en santé pour l'acquisition de connaissances HeKA est une équipe-projet de recherche commune à Inria, Inserm et l’Université Paris Cité. HeKA...
Equipe-projet INBIO Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires InBio est une équipe de recherche interdisciplinaire combinant des approches de biologie...
Equipe-projet MIMOVE Middleware on the Move La globalisation et l’omniprésence des infrastructures informatiques et réseaux, des dispositifs...
Equipe-projet MUSCLEES Compréhension mathématique multi-échelles d’écosystèmes vivants complexes avec structures émergentes
Equipe-projet SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms L'équipe projet SERENA s'intéresse aux méthodes numériques pour les problèmes environnementaux. Ses...
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