Equipe-projet TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata est une équipe de recherche du centre INRIA Saclay-Île-de-France, en partenariat avec le...
Equipe-projet TYREX Types and Reasoning for the Web Nous construisons les fondements de la prochaine génération de systèmes d'extraction d'information...
Equipe-projet VALSE Contrôle en temps fini et estimation pour des systèmes distribués La révolution de l’information offre de nouvelles possibilités liées à l’Internet des objets et aux...
Equipe-projet ABS Algorithmes et Biologie Structurale La bioinformatique structurale est le domaine scientifique développant des méthodes algorithmiques...
Equipe-projet ACUMES Analysis and Control of Unsteady Models for Engineering Sciences Le projet se focalise sur l'analyse et le contrôle optimal de systèmes d'EDP instationnaires...
Equipe-projet BEAGLE Artificial Evolution and Computational Biology La recherche de Beagle concerne la biologie computationnelle et l'évolution artificielle (génétique...
Equipe-projet BENAGIL Systèmes répartis performants et sûrs L'équipe Benagil étudie comment concevoir des systèmes distribués plus efficaces et plus sûrs en se...
Equipe-projet CANARI Analyse cryptographique et arithmétique Le but de l'équipe Canari est de développer des algorithmes efficaces pour traiter les objets du...
Equipe-projet CAPSULE Cryptographie Appliquée et Sécurité des Implémentations Les activités de recherche de l'équipe CAPSULE sont organisés autour de 5 axes de recherches, la...
Equipe-projet CASH Compilation et Analyse, Logiciel et Matériel L'avènement du parallélisme dans les ordinateurs et les supercalculateurs amène de nouveaux besoins...
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...