## 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 and, in particular, they focus on the conception, analysis, proof, and verification of algorithms, programs, and programming languages. They are built upon fundamental research activities developed at IRIF on combinatorics, graphs, logics, automata, type, semantics, and algebras.

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 two are members of the Institut Universitaire de France (IUF).