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 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 COSMIQ Cryptologie symétrique, cryptologie fondée sur les codes et information quantique Les travaux de recherche de l'équipe-projet COSMIQ sont essentiellement consacrés à la conception et...
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 CASCADE Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées La cryptographie, ou science du secret, a pour objectif de sécuriser les supports et les échanges de...
Equipe-projet MATHRISK Mathematical Risk handling MATHRISK est un projet joint INRIA Paris, Ecole des Ponts ParisTech (CERMICS), et Université Gustave...
Equipe-projet DYOGENE Dynamics of Geometric Networks L'objectif scientifique de DYOGENE est l'étude de la dynamique de réseaux géométriques issus des...
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 AIO Mise en réseau fiable, sans fil à faible consommation et micro-robotique Inria-AIO is a leading research team in low-power wireless communications. The team is designing...
© 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