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

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.

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

IRIF is member of the Foundation of Mathematical Sciences of Paris (FSMP) and of the Federation of Research in Mathematics of Paris. IRIF hosts two INRIA project-teams, and is affiliated to the doctoral school of Mathematical Sciences of Paris (ED 386).

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