LITA - Laboratoire d'Informatique Théorique et Appliquée - Université de Lorraine
Université de Lorraine - Laboratoire d'Informatique Théorique et Appliquée (LITA)
Université de Lorraine - Site de Metz - Île du Saulcy
57045 METZ CEDEX 1
Tel. : 03 87 31 54 45 - Fax : 03 87 31 53 09

Laboratoire d'Informatique Théorique et Appliquée (LITA)

Equipe "Calculs, Graphes et Logique" (CGL)

Toutes les activités de recherche de l'équipe CGL font partie de l'informatique théorique. C'est en effet l'informatique théorique qui est le point commun de l'intérêt des chercheurs de cette équipe. Le but principal de nos recherches est de mieux comprendre et de mieux développer des objets théoriques d'informatique reliés plus ou moins à la notion de calcul: construction et analyse d'algorithmes, modèles du calcul, sémantique de programmes et programmation automatique.

Axe de recherche

Informatique théorique

Mots clés

Algorithmes de graphes; Modèles de calcul ; Sémantique des programmes et programmation automatique

En savoir plus sur l'équipe CGL

Equipe "Optimisation, Apprentissage et Algorithmes" (OAA)

Les sujets étudiés par l'équipe Optimisation, Apprentissage et Algorithmes couvrent un vaste domaine, allant des méthodes d'optimisation & recherche opérationnelle et leurs applications en aide à la décision dans les systèmes complexes et l'algorithmique du parallélisme, tout en passant par les techniques de fouille de données & apprentissage et les algorithmes de courbes & surfaces.

La politique de recherche de cette équipe repose sur le développement des outils théoriques et algorithmiques pour la modélisation et le traitement numérique des problèmes concrets de la vie courante avec le souci constant de leurs applications aux problèmes industriels. Tous les axes de recherche visent l'objectif principal : Optimisation des systèmes complexes.

L'équipe travaille principalement sur l'élaboration des modèles mathématiques (des problèmes d'optimisation) pour rendre compte de comportement décisionnels des systèmes complexes, et ensuite la conception des algorithmes d'optimisation (séquentiels / parallèles / distribués) permettant de déterminer efficacement les meilleures solutions sur des domaines discrets et/ou continus.
Il convient d'ajouter qu'une autre partie des travaux concerne la modélisation (informatique) et la simulation des systèmes (physiques) complexes.

Axes de recherche

Les activités de recherche menées par cette équipe s'articulent autour de deux axes principaux

Mots clés

Optimisation Globale ; Optimisation combinatoire; Modélisation, Optimisation et Simulation des systèmes complexes; Apprentissage & Fouille de Données ; Conception d'algorithmes parallèles et routage de données dans les systèmes parallèles; Approximation et optimisation des courbes et surfaces fermées.

En savoir plus sur l'équipe OAA