Présentation de l'IRIF

L'Institut de Recherche en Informatique Fondamentale (IRIF) est une unité mixe de recherche (UMR 8243) entre le CNRS et de l'Université Paris-Diderot. Au CNRS, l'IRIF est principalement rattachée à l'Institut National des Sciences de l'Information et de leurs Interactions (INS2I) et, secondairement, à l'Institut National des Sciences Mathématiques et de leurs Interactions (INSMI). L'IRIF est membre de l'UFR d'informatique de l'Université Paris-Diderot, et accueille également en son sein plusieurs membres de l'UFR de mathématiques.

L'IRIF est issu de la fusion des deux UMR LIAFA et PPS au 1er janvier 2016. Ses objectifs scientifiques se déclinent selon trois grandes thématiques au cœur de l'informatique :

  1. Fondements mathématiques de l’informatique
  2. Modèles de calcul et preuves
  3. Modélisation, algorithmes et conception de systèmes

L'IRIF est structuré en six équipes de recherche :

L'IRIF est membre de la Fondation des Sciences Mathématique de Paris (FSMP) et de la Fédération de Recherche en Mathématiques de Paris Centre (MP). Il héberge deux équipes-projets INRIA, et est associé à l'école doctorale des Sciences Mathématiques de Paris Centre (ED 386).

Enfin, l'IRIF compte actuellement une centaine de membres permanents, se répartissant en environ 55 enseignants-chercheurs, 30 chercheurs CNRS, 8 chercheurs INRIA et 6 personnels administratifs ou techniques. L'effectif total de l'IRIF, incluant doctorants, postdoctorants, et visiteurs de longue durée s'élève à près de 170 personnes.

Six membres de l'IRIF ont obtenu des grants du European Research Council (ERC), et deux sont membres de l'Institut Universitaire de France (IUF).


Organismes de tutelle


Université Paris-Diderot – Paris 7

CNRS

UFR de rattachement

Partenaires


Fédération de Recherche en Mathématiques de Paris Centre

Fondation Sciences Mathématiques de Paris

INRIA