Le Laboratoire d’Informatique Fondamentale d’Orléans (LIFO) est une unité de recherche (UR 4022) placée sous la double tutelle de l’Université d’Orléans et de l’INSA Centre Val de Loire. Il est également partenaire de l’INRIA Paris-Saclay, dans le cadre d’une équipe-projet commune.

Le LIFO se distingue par son engagement dans l'exploration, à la fois théorique et appliquée, des fondements de l'informatique. Ses travaux de recherche couvrent un large éventail de domaines, allant des bases de l'algorithmique et de la complexité des structures discrètes aux algorithmes parallèles, en passant par l’intelligence artificielle, le traitement de données, la fiabilité des logiciels, ainsi que la sécurité des données et des systèmes.

Les pôles de recherche

Le laboratoire est structuré autour de trois pôles de recherche :

• Cybersécurité
• Intelligence Artificielle et Sciences des Données
• Algorithmes et Modélisation

Ces pôles regroupent cinq équipes de recherche, chacune rattachée à un pôle principal, mais pouvant également contribuer aux thématiques des autres. Cette organisation favorise une dynamique interdisciplinaire et des synergies entre les équipes.

Le LIFO est impliqué dans de nombreux projets de recherche et entretient des collaborations solides avec des institutions académiques et industrielles. Il est membre fondateur de la Fédération de Recherche « Informatique Centre Val de Loire » (ICVL, FED 4279), en partenariat avec le Laboratoire d’Informatique Fondamentale et Appliquée de Tours (LIFAT, EA 6300), et joue un rôle très actif au sein de la fédération CaSciModOT (Calcul Scientifique et Modélisation Orléans-Tours).

Conscient des enjeux contemporains, le laboratoire œuvre à intégrer les principes du développement durable, soutient la science ouverte et valorise une recherche construite pour et avec la société.

Brochure du LIFO

Le LIFO est un laboratoire de recherche en informatique né à la faculté des Sciences de l’Université d’Orléans au début des années 1980 autour d’une équipe de recherche dirigée par Bernard Lorho. Parmi les membres fondateurs : Annie Despland, Raymond Rakotozafy, Jean-Jacques Lacrampe, Pierre Ciosi, Gérard Ferrand et François LeBerre.

Les recherches du laboratoire se sont d’abord orientées sur les thèmes suivants : grammaires attribuées, programmation logique, programmation fonctionnelle et ensembliste. Ses membres ont été actifs dans le Greco de Programmation du CNRS.

Quelques faits marquants

• 1992 : L’équipe obtient le statut d’équipe d’accueil doctoral (EA), reconnu et financé par le Ministère de la Recherche. Convention avec l’INRIA jusqu’en 2005.
• 1992 : Le laboratoire s’installe dans le bâtiment IIIA de l’université d’Orléans.
• 1994 : Statut de jeune équipe CNRS.
• 2001 : Des membres du LIFO sont également enseignants-chercheurs à l’ENSI-Bourges où se développe la filière Sécurité et Technologies Informatiques (STI), en lien avec le Master 2 recherche en informatique.
• 2002 : Le LIFO devient Formation de Recherche en Évolution (FRE 2490) au CNRS.
• 2006 (décembre) : Fin de l’association au CNRS, selon la nouvelle politique du département STIC du CNRS.
• 2008 : Les statuts du LIFO sont validés en assemblée générale.
• 2014 (janvier) : Création de l’INSA Centre Val de Loire, fusion de l’ENIVL (Blois) et de l’ENSI (Bourges). STI devient un département de l’INSA.
• 2016 (janvier) : Création de la fédération ICVL (Informatique Centre Val de Loire), en collaboration avec le LIFAT (ancien LI).
• 2024 (novembre) : Signature de la convention avec l’INRIA Paris-Saclay pour la création de l’équipe-projet PETSCRAFT, sous-groupe de l’équipe SDS à Bourges.

Historique – Direction

Initialement, les mandats s'étendaient de janvier à décembre. Cependant, un décalage s'est produit lorsqu'un mandat complet a été suivi d'un second mandat inachevé.