Institut de recherche en informatique fondamentale

The Institut de recherche en informatique fondamentale (IRIF; English: Fundamental Computing Research Institute) is a French research institute supporting advanced research in computer science. It is located in Paris. It is a public research institute in a partnership with the Université Paris Cité. IRIF is a research unit co-funded by CNRS and Université Paris Cité hosting one Inria project-team. IRIF is the result of the merger of LIAFA and PPS that happened on 1 January 2016. IRIF is also member of Fondation Sciences Mathématiques de Paris (FSMP), and of three areas of major interest (DIM) from region Île-de-France, Math Innov, Sciences Informatiques, Technologies Quantiques. At the CNRS, IRIF is mainly attached to INS2I and has a secondary attachment to INSMI. IRIF is a member of the Computer Science UFR of Université Paris Cité and also welcomes several members of the Mathematics UFR. Finally, IRIF is associated with the doctoral school of mathematical sciences of Paris Centre (ED 386). As of January 2019, IRIF has about 100 permanent members, divided into 48 teacher-researchers, 27 CNRS researchers, 5 INRIA researchers, 8 emeritus members and 7 administrative or technical staff. The research conducted at IRIF is based on the study and understanding of the foundations of all computer science, in order to provide innovative solutions to the current and future challenges of digital sciences. 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 also conducts interdisciplinary research taking advantage of its scientific approach. IRIF relies on mathematical concepts developed and studied within it, particularly in combinatorics, graph theory, logic and algebra. Its work also contributes directly to mathematics, including number theory, combinatorial physics, probability theory, category, proof theory, and computer assisted mathematical proofs.