Equipe-projet BIVWAC Construire des visualisations immersives pour favoriser la compréhension, la prise de conscience, et le bien-être Bivwac est une équipe-projet commune entre le CNRS et Inria, en lien avec le LaBRI (UMR CNRS -...
Equipe-projet BONUS Optimisation de grande taille et calcul large échelle Omniprésente dans de nombreuses applications scientifiques et d'ingénierie, l’optimisation massive...
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 DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
Equipe-projet GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...
Equipe-projet GAMBLE Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien La géométrie algorithmique classique traite habituellement d'objets linéaires dans un cadre...
Equipe-projet I4S Inférence Statistique pour la Surveillance et la Sécurité des Structures La surveillance d'intégrité de structures (ou SHM, pour Structural Health Monitoring) désigne la...
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 LARSEN Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
Equipe-projet LEMON Littoral, Environnement, Modèles et Outils Numériques LEMON est une équipe-projet commune entre le centre Inria Sophia-Antipolis Méditerranée...