Le laboratoire d'informatique théorique et appliquée (LITA) de l'université Paul Verlaine - Metz a pour axes de recherchedivers aspects théoriques et appliqués, notamment : optimisation et aide à la décision dans les systèmes d’ingénierie, fouille de données et extraction de connaissances, algorithmique du parallélisme et sécurité des systèmes distribués, algorithmes des courbes et surfaces, algorithmes efficaces sur les graphes et NP-complétude, sémantique de la programmation, calculabilité totale et partielle, automate cellulaire, modèles du calcul discret et interfaces humaines-machines.

Comptant 26 enseignants-chercheurs dont 6 professeurset 3 maîtres de conférences habilités,le laboratoire est structuré depuis 2004 en deux équipes :« Algorithmique et Optimisation » et « Calculs, Modélisations et Interfaces »,de 16 et 10 membres respectivement.Les activités du LITA sont en nette progression par rapport à la période précédente,en particulier en ce qui concerne le nombre de publications, des thèses encadrées et des projets de recherches.Le LITA a à son actif une production scientifique de qualité et de volume significatifs.Par ailleurs, il poursuit une activité soutenue d'organisations de conférences et d'édition de journaux spéciaux.Une collaboration étroite existe avec de nombreux centres de recherche étrangers,en particulier avec des universités en Allemagne, en Angleterre, au Canada, aux États-Unis,en Finlande, au Luxembourg, au Maroc, en Norvège, au Portugal, en Russie, au Vietnam...