Le LIFO (Laboratoire d'Informatique Fondamentale d'Orléans) est un laboratoire de l'Université d'Orléans et de l'ENSI de Bourges reconnu par le Ministère de la Recherche.

Dans le cadre du contrat quadriennal de développement de la recherche 2008-2011, le LIFO est actuellement Equipe d'Accueil EA 4022.

Le LIFO est fortement impliqué dans le Master IRAD de l'Université d'Orléans. Il accueille chaque année les étudiants durant leur stage de recherche.

Les recherches menées au LIFO concernent la science et l'ingénierie du logiciel. Elles visent l'amélioration des théories de la programmation et des techniques qui en découlent. Les chercheurs du LIFO définissent, modifient et spécialisent de nombreux modèles mathématiques du calcul par ordinateur et du logiciel qui prescrit ces calculs. Le laboratoire est structuré en quatre équipes:

• Contraintes et Apprentissage (CA)
• Graphes et Algorithmes (GA)
• Parallélisme Réalité virtuelle et Vérification de système (PRV)
• Sécurité et Distribution des Systèmes (SDS)

Rapport Scientifique du LIFO (2003-2006)