image/svg+xml Welcome IRIF, the Research Institute on the Foundations of Computer Science, is a research laboratory of CNRS and Université de Paris, also hosting two Inria project-teams. 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. IRIF hosts about 200 people. Six of its members have been distinguished by the European Research Council (ERC), five are members of the Institut Universitaire de France IUF), two are members of the Academia Europæa, and one is member of Académie des sciences. More People Contact Follow @IRIF_Paris Notion of the day News 22.6.2020 Sylvain Schmitz (IRIF) co-organizes the “14th International Conference on Reachability Problems” (RP'20), that is planned to take place either online or at IRIF on October 19-20. 16.7.2020 Enka Blanchard, Ph.D. student at IRIF supervised by Nicolas Schabanel and Ted Selker, was awarded the PSL prize in the category “interfaces between humanities and sciences” for her Ph.D. work entitled “Usability low tech, high security”. edit all the past news (These news are displayed using a randomized-priority ranking.) Events Limited number of events during the Summer break