Welcome to the collection HAL IRIFIRIF is a research laboratory of CNRS and Université Paris Cité (UMR 8243) hosting one Inria projectteam and gathering close to 200 members : full members / contract staff / administrative and technical staff.
IRIF is renown for its contributions to the design and analysis of algorithms, the study of computational and data representation models, the foundations of programming languages, software development, verification, and certification. IRIF relies on mathematical concepts developed and studied within it, particularly in combinatorics, graph theory, logic and algebra. . 
