© Inria / Photo C. Morel Paris Rennes - Bretagne Atlantique Intelligence artificielle Dégénérescence fronto-temporale et maladie de Charcot : des biomarqueurs pour étudier la phase présymptomatique 14/12/2020
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 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 VALDA Valeur à partir des donnés Les recherches de Valda portent sur les aspects fondamentaux et systèmes de la gestion de données...
Equipe-projet ALMANACH Modélisation et analyse linguistique automatique et humanités computationnelles L’équipe ALMAnaCH (Automatic Language Modelling and Analysis & Computational Humanities) a pour...
Equipe-projet MATHRISK Mathematical Risk handling MATHRISK est un projet joint INRIA Paris, Ecole des Ponts ParisTech (CERMICS), et Université Gustave...
Equipe-projet PI.R2 Conception, étude et implémentation de langages pour les preuves et les programmes L'équipe π r² constituée au sein du laboratoire Preuves, Programmes et Systèmes (UMR 7126), couvre...
Equipe-projet DELYS Algorithmes et systèmes distribués DELYS étudie les nouveaux systèmes distribués d'un point de vue pratique et théorique. Sa recherche...
Equipe-projet SIERRA Apprentissage Statistique et Parcimonie L'apprentissage statistique est un domaine scientifique recent, positionne entre les mathematiques...
Equipe-projet MATHERIALS MATHematics for MatERIALS L'équipe MATHERIALS a pour objectif de mettre au point des méthodes numériques performantes et...
Equipe-projet ARAMIS Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique Notre équipe est intégrée au sein de l'Institut du Cerveau et de la Moelle épinière (ICM) et est...
Equipe-projet PARKAS Parallélisme de Kahn Synchrone L'équipe PARKAS étudie la conception et la mise en oeuvre de langages de haut niveau, permettant de...
Equipe-projet COSMIQ Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
