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. .

SEARCH

Chargement de la page

 

 

 

 

 

KEY WORDS

Chargement de la page

 

 

 

COLLABORATIONS