Skip to Main content Skip to Navigation
New interface


Welcome to the collection HAL IRIF

IRIF is a research laboratory of CNRS and Université Paris Cité (UMR 8243) hosting one Inria project-team 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. .


Chargement de la page







Chargement de la page