Aller au contenu principal

TYREX - Types et raisonnement pour le Web

Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Axe   Méthodes Formelles, Modèles et Langages

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

Méthodes Formelles    Modèles et Langages    Logiciel   Connaissance    Interaction    Intelligence Artificielle    Raisonnement et inférence    Analyse de documents    Modèles    nAlgorithmique et complexité    Informatique théorique    Logique    Traitement d’informations multimédia    Interrogation de données    Traitement des données issues de capteurs    Modèles et technologies du WEB    Systèmes informatiques    Multimodalité    Contexte : modèle et adaptation    Réalité virtuelle ou augmentée    Langage de programmation    Vérification - Preuve - Test    Sûreté et qualité des logiciels    Compilation et génération de code

TYREX

Responsable  Pierre GENEVES
Site Web  http://tyrex.inria.fr
Téléphone  04 76 61 55 28
Fax  04 76 61 52 07
Bâtiment  Montbonnot - INRIA

Publié le 17 octobre 2020

Mis à jour le 5 mars 2024