Equipe-projet

TYREX

Types and Reasoning for the Web
Types and Reasoning for the Web

Nous construisons les fondements de la prochaine génération de systèmes d'analyse de données et de programmation orientée données. Ces systèmes étendent les idées des langages de programmation, de l'intelligence artificielle, des systèmes de gestion de données et de l'informatique théorique. Extraire de la valeur des données exige de plus en plus des algorithmes sophistiqués pour représenter, stocker, interroger, traiter, analyser et interpréter les données. Nous construisons et étudions des méthodes de programmation orientées données qui sont au cœur de la construction d'applications d'intelligence artificielle. Les défis incluent le traitement robuste et efficace de grandes quantités de données structurées, hétérogènes et distribuées.

Centre(s) inria
Centre Inria de l’Université Grenoble Alpes
En partenariat avec
CNRS,Université de Grenoble Alpes

Membres

Responsable de l'équipe

Helen Pouchot-Rouge-Blanc

Assistant(e) de l'équipe