The computer Science Laboratory of Orléans (LIFO)

LIFO is a computer science research laboratory affiliated with the University of Orléans and INSA Centre Val de Loire. Its main location is on the university campus, with an additional presence on the INSA Centre Val de Loire campus in Bourges. The laboratory conducts both applied and theoretical research.

LIFO is also a member of the ICVL federation, alongside the Laboratoire d'Informatique Fondamentale et Appliquée de Tours (LIFAT).

Research topics:

• « Constraints and Learning »: constraints, machine learning, and natural language processing.
• « GAMoC — Graphs, Algorithms and Models of Computation » : algorithms, computational and complexity models, automata graphs, and quantum computing.
• « LMV — Languages, Models and Verification » : program verification through the design of formal methods and programming languages.
• « PAMDA — Parallelism and Databases » : processing large-scale data sets (MapReduce model) and data science.