Institut de recherche en informatique fondamentale



The Institut de recherche en informatique fondamentale (IRIF; English: Fundamental Computing Research Institute) is a French research institute supporting advanced research in computer science. It is located in Paris. It is a public research institute in a partnership with the Université Paris Cité.

Presentation
IRIF is a research unit co-funded by CNRS and Université Paris Cité hosting one Inria project-team. IRIF is the result of the merger of Laboratoire d'informatique algorithmique : fondements et applications and Preuves, Programmes et Systèmes that happened on 1 January 2016. IRIF is also member of Fondation sciences mathématiques de Paris (FSMP), and of three areas of major interest (DIM) from region Île-de-France, Math Innov, Sciences Informatiques, Technologies Quantiques.

At the CNRS, IRIF is mainly attached to Institut des sciences de l'information et de leurs interactions and has a secondary attachment to Institut national des sciences mathématiques et de leurs interactions. IRIF is a member of the Computer Science UFR of Université Paris Cité and also welcomes several members of the Mathematics UFR. Finally, IRIF is associated with the doctoral school of mathematical sciences of Paris Centre (ED 386).

As of January 2019, IRIF has about 100 permanent members, divided into 48 teacher-researchers, 27 CNRS researchers, 5 INRIA researchers, 8 emeritus members and 7 administrative or technical staff.

Research
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 is renowned for its contributions to the design and analysis of algorithms, the study of computational and data representation models, the foundations of programming languages, software development, verification, and certification. IRIF also conducts interdisciplinary research taking advantage of its scientific approach.

IRIF relies on mathematical concepts developed and studied within it, particularly in combinatorics, graph theory, logic and algebra. Its work also contributes directly to mathematics, including number theory, combinatorial physics, probability theory, category, proof theory, and computer assisted mathematical proofs.

Structure
IRIF is divided into nine thematic teams grouped in three research poles:


 * Algorithms and discrete structures
 * Algorithms and complexity
 * Combinatorics
 * Distributed computing
 * Theory and algorithmics of graphs


 * Automata, structures and verification
 * Automata and applications
 * Modeling and verification


 * Proofs, programs and systems
 * Algebra and computation
 * Analysis and conception of systems
 * Proofs and programs

Members' distinctions
Six IRIF members have received grants from the European Research Council (ERC), five are members of the Institut Universitaire de France (IUF) and two (Giuseppe Castagna and Jean-Éric Pin) are members of the Academia Europæa.


 * Frédéric Magniez held the 2020–2021 Chair of Computer Science and Digital Science at the Collège de France
 * Pierre-Louis Curien was awarded the Inria Grand Prix of the Academy of Sciences in 2020
 * Claire Mathieu held the 2017–2018 Chair of Computer Science and Digital Science at the Collège de France. She was awarded the CNRS silver medal in 2019. She is a member of the Academy of Sciences since 2020
 * Jean-Éric Pin received the Arto Salomaa Award in 2018
 * Ahmed Bouajjani was awarded the Carl Friedrich von Siemens Prize by the Humboldt Foundation in 2018
 * Pierre Fraigniaud was awarded the CNRS silver medal in 2012, the prize for innovation in distributed computing in 2014
 * Thomas Colcombet got the bronze medal in 2010

Former members

 * Marcel-Paul Schützenberger, Louis Nolin, André Lentin and Maurice Nivat are the founders of LITP and former leading members of LIAFA, successor of LITP.
 * Dominique Perrin was director of LIAFA, Guy Cousineau was director of PPS.