LIFO conducts extensive research across theoretical and applied domains, encompassing five specialized teams focused on graph and complexity, constraints and machine learning, semantics of programming languages and deductive program verification, databases and HPC, and the security of systems and data.