## Presentation of IRIF

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

IRIF results from the merging of the two research units LIAFA and PPS on January 1st, 2016. The scientific objectives of IRIF are at the core of computer science, focusing on conception, analysis, proof and verification of algorithms and programs, built upon fundamental research activities on combinatorics, graph theory, logics, automata theory, etc.

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 roughly a hundred permanent members, including roughly 55 faculty members, 30 CNRS researchers, 6 INRIA researchers and 5 administrative and technical staffs. The total number of IRIF members, including PhD students, postdocs, and long-term visitors amounts for about 170.

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