## Presentation of IRIF

** Research Institute on the Foundations of Computer Science **

The Research Institute on the Foundations of Computer Science (IRIF) is a research unit co-founded by the CNRS and the University Paris-Diderot, as UMR 8243. It results from the merging of the two research units LIAFA and PPS on January 1st, 2016. IRIF hosts two INRIA project-teams. IRIF is also member of the Foundation of Mathematical Sciences of Paris (FSMP) and of the Federation of Research in Mathematics of Paris.

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.

In particular, 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.

At the CNRS, IRIF is primarily affiliated to the Institute of Computer Science (INS2I), and, secondarily, to the Institute of Mathematics (INSMI). IRIF is part of the Department of Computer Science of the University Paris-Diderot, and also hosts several members of the Department of Mathematics. Last, IRIF is affiliated to the doctoral school of Mathematical Sciences of Paris (ED 386).

IRIF is structured in nine thematic teams, grouped into three research poles:

IRIF hosts currently a hundred permanent members, including roughly 54 faculty members, 30 CNRS researchers, 6 INRIA researchers and 5 administrative and technical staffs (in January 2018). The total number of IRIF members, including PhD students, postdocs, and long-term visitors amounts for about two hundred.

Six members of IRIF received grants from the European Research Council (ERC), and three are members of the Institut Universitaire de France (IUF).