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 CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Nos travaux visent le domaine général d'application de la cryptographie et de la cryptanalyse, d'un...
Equipe-projet CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts Des EDPs à la simulation numérique certifiée: ce projet a pour but de proposer une méthodologie...
Equipe-projet CELESTE statistique mathématique et apprentissage La science des données — un vaste domaine comprenant la statistique, l'apprentissage automatique, le...
Equipe-projet CHROMA Robots coopératifs et adaptés à la présence humaine en environnements L'équipe Chroma contribue à la mise en place de méthodologies générales pour la perception et la...
Equipe-projet COAST Web Scale Trustworthy Collaborative Service Systems L'arrivée du Cloud, des appareils mobiles et des architectures orientées services a ouvert un champs...
Equipe-projet COATI Combinatoire, Optimisation et Algorithmes pour les Télécommunications L'objectif de COATI est de développer des méthodes et outils algorithmiques qui s'appliquent en...
Equipe-projet COMETE Vie privée, équité et robustesse dans la gestion de l'information L'équipe-projet COMETE étudie les concepts émergeant de l'ère moderne de l'informatique. La sécurité...
Equipe-projet CTRL-A Commande pour systèmes informatiques autonomiques Les recherches de CTRL-A sont motivées par le contexte actuel où les systèmes de calcul, grands...
Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet DEFROST Logiciels pour robots déformables Notre Vision Les robots du futurs ne seront plus "rigides" comme aujourd'hui mais fait de...
Equipe-projet EVREF Évolution réflexive des systèmes logiciels éternels The objectives of Evref are to study and support the continuous evolution of large software systems...
Equipe-projet EX-SITU Interaction Située Extrême ExSitu explore les limites de l'interaction en étudiant comment des utilisateurs "extrêmes"...
Equipe-projet FUN self-organizing Future Ubiquitous Network L'équipe FUN étudie des solutions pour rendre plus utilisables (en termes de programmation, d...
Equipe-projet GEOMERIX La Géometrie au Service du Numérique GeomeriX est une équipe-projet Inria dont l'objectif scientifique global est d'inventer des méthodes...