Laboratoire d’Informatique Fondamentale d’Orléans (LIFO)

Le LIFO est un laboratoire de recherche en informatique sous les tutelles de l’Université d’Orléans et de l’INSA Centre Val de Loire. Il est principalement localisé sur le Campus de l’Université, mais aussi sur le campus de Bourges de l’INSA Centre Val de Loire.

Les recherches menées au LIFO concernent les aspects théoriques et appliqués de l'informatique.

Le LIFO fait partie de la Fédération ICVL avec le Laboratoire d’Informatique Fondamentale et Appliquée de Tours (LIFAT).

Thèmes de recherche :

• Equipe « CA – Contraintes et Apprentissage » : étude des Contraintes, Apprentissage automatique et Traitement automatique des langues
• Equipe « GAMoC – Graphes, Algorithmes et Modèles de Calcul » : Algorithmique, Modèles de calcul et de complexité, Graphes d’automates, Calcul quantique
• Equipe « LMV – Languages, Modèles et Vérification » : Vérification des programmes par la conception de méthodes formelles et des langages de programmation
• Equipe « PAMDA – Parallélisme et Bases de données » : Traitement de grandes masses de données (modèle MapReduce), Data science