TYREX - Types et raisonnement pour le Web
Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Responsable : 
Téléphone/Fax : 
04 76 61 55 28
Fax 04 76 61 52 07
Bâtiment : 
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.

Sur le plan applicatif, notre objectif actuel est de mettre en place des systèmes d’analyse passant à l'échelle, efficaces et flexibles. Nos contributions techniques portent en particulier sur l'optimisation, la compilation et la synthèse de code pour l'extraction et l'analyse d'informations, en particulier avec de grandes quantités de données.

Sur le plan théorique, nous développons les fondements des systèmes de traitement des données, en mettant l’accent sur l’analyse et le typage des manipulations de données. Nous nous concentrons en particulier sur les fondements de la programmation avec des collections de données distribuées. Nous étudions les fondements algébriques et logiques des langages de programmation, en particulier pour l'optimisation et l'évaluation efficace des requêtes.
Mots clés : 

Membres permanents

Nom Prénom Statut Téléphone
GENEVES Pierre Chargé de recherche
GESBERT Nils Maître de conférences 04 76615362
LAYAIDA Nabil Directeur de recherche 04 57421612
ROISIN Cecile Professeur 04 76615360

Membres non permanents

Nom Prénom Statut Téléphone
BOULMAIZ Fateh Doctorant 04 76 61 52 45
CHLYAH Sarah Doctorant 04 56 52 71 26
FEJZA Amela Doctorant
LAWAL MUIDEEN ADEKUNLE Doctorant
S'abonner à RSS - TYREX