Responsable : Marcilio PEREIRA DE SOUTO

La recherche de l’équipe porte essentiellement sur trois axes : l’apprentissage, en particulier le clustering ensemble, la classification multi-objectif en base de données avec un aspect calculatoire et la classification des algorithmes de clustering ; la fouille de données sous contraintes ; le traitement automatique des langues (TAL)

Responsable : Nicolas OLLINGER

L’équipe GAMoC s’intéresse à l’algorithmique, aux structures discrètes (en particulier les graphes, les automates et les pavages), à la calculabilité et à la combinatoire. Ses travaux se divisent en deux thèmes : l’algorithmique pour les problèmes NP-difficiles et les nouveaux modèles de calcul et de complexité. L’équipe affiche entre ces deux thèmes un « axe transverse » qui concerne les graphes d’automates et le calcul distribué.

Responsable : Frédéric LOULERGUE

L’équipe LMV a pour domaine de recherche la fiabilité pour les systèmes réactifs concurrents avec application à l’internet des objets. Ces recherches se structurent en deux axes : « la sémantique pour les langages de programmation parallèle et les outils pour leur vérification » d’une part, et « l’étude des systèmes de réécriture et leur application à la vérification » d’autre part.

Responsable : Sophie ROBERT

L’équipe PAMDA s’intéresse à deux thématiques principales : le parallélisme et les bases de données. La thématique relative au parallélisme est déclinée en trois sujets : parallélisme implicite (modèles de parallélisation et paradigmes de programmation), modèle MapReduce, et optimisation des codes notamment pour la diminution de la consommation énergétique.

Responsable : Laurent BOBELIN

L’équipe Sécurité des Données et des Systèmes (SDS) travaille dans le domaine de la sécurité informatique au sens large. Ses thèmes de recherche s’articulent autour de deux axes : sécurité des données : confidentialité, anonymat et calcul sécurisé ; sécurité des systèmes : sécurité des protocoles, contrôle d’accès et traçabilité. Ces deux axes thématiques sont soutenus par un axe transversal : modélisation et formalisation des connaissances (logique épistémique) et des systèmes (logique temporelle, graphes, automates).