### Presentation of the IRIF

** Research Institute on Fundamental Informatics **

The IRIF is a research unit co-founded by the CNRS and the University Paris-Diderot, as UMR 8243. At the CNRS, the IRIF is primarily affiliated to the Institute of Computer Science (INS2I), and, secondarily, to the Institute of Mathematics (INSMI). The IRIF is part of the Department of Computer Science of the University Paris-Diderot, and also hosts several members of the Department of Mathematics .

The IRIF results from the merging of the two research units LIAFA and PPS on January 1st, 2016. The scientific objectives of the IRIF are at the core of computer science, focusing on the following aspects:

- The mathematical foundations of computer science
- Computational models and proofs
- Models, algorithms and system design

The IRIF is structured in six research teams :

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

The IRIF hosts roughly a hundred permanent members, including roughly 55 faculty members, 30 CNRS researchers, 6 INRIA researchers and 6 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).