Institut de recherche en informatique fondamentale

institut de recherche à Paris

L'Institut de recherche en informatique fondamentale, d'acronyme IRIF, est un laboratoire de recherche en informatique fondamentale, situé à Paris, sur le campus d'Université Paris-Cité.

Institut de recherche en informatique fondamentale
Histoire
Fondation
1er janvier 2016
Prédécesseur
Cadre
Sigle
IRIFVoir et modifier les données sur Wikidata
Code
UMR 8243
Type
Domaine d'activité
informatique fondamentale
Campus
Siège
Pays
Coordonnées
Organisation
Effectif
Environ 200 (enseignants-chercheurs, chercheurs et doctorants)
Directeurs
Giuseppe Castagna (d) (depuis ), Giuseppe Castagna (d)Voir et modifier les données sur Wikidata
Organisations mères
Organisations mères
Affiliation
Site web
Carte

Présentation

modifier

L'institut est une unité mixte de recherche (UMR 8243) entre le CNRS et Université Paris-Cité, qui héberge deux équipes-projets Inria. Il est issu de la fusion des deux UMR, le LIAFA et le PPS qui a eu lieu au . L'IRIF est aussi membre de la Fondation sciences mathématiques de Paris (FSMP) et de trois domaines d’intérêt majeur (DIM) de la région Île-de-France, Math Innov, Sciences Informatiques, Technologies Quantiques.

Au CNRS, l'IRIF a un rattachement principal à l'Institut des sciences de l'information et de leurs interactions (INS2I) et un rattachement secondaire à l'Institut national des sciences mathématiques et de leurs interactions (INSMI). L'IRIF est membre de l'UFR d'informatique d'Université Paris-Cité, et accueille également en son sein plusieurs membres de l'UFR de mathématiques. Enfin, l'IRIF est associé à l'école doctorale des sciences mathématiques de Paris Centre (ED 386).

L'IRIF compte, en , une centaine de membres permanents, se répartissant environ en 48 enseignants-chercheurs, 27 chercheurs CNRS, 5 chercheurs INRIA, 8 membres émérites et 7 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 deux cents personnes[1].

Recherche

modifier

Les recherches menées à l'IRIF portent sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données, les fondements des langages de programmation, le développement logiciel, la vérification et la certification. Pour cela, l’IRIF s'appuie sur des concepts mathématiques développés et étudiés en son sein, notamment en combinatoire, théorie des graphes, logique et algèbre. Ces travaux contribuent aussi directement aux mathématiques, notamment en physique combinatoire, probabilités, catégories, théorie de la preuve, et preuves assistées par ordinateur[2],[3].

Structure

modifier

L'IRIF est structuré en neuf équipes thématiques regroupées en trois pôles de recherche :

  • Algorithmes et structures discrètes
    • Algorithmes et complexité
    • Combinatoire
    • Calcul distribué
    • Théorie et algorithmique des graphes
  • Automates, structures et vérification
    • Automates et applications
    • Modélisation et vérification
  • Preuves, programmes et systèmes
    • Algèbre et calcul
    • Analyse et conception de systèmes
    • Preuves et programmes

Distinctions des membres

modifier

Six membres de l'IRIF ont été boursiers de l'European Research Council (ERC), cinq sont membres de l'Institut Universitaire de France (IUF) et deux (Giuseppe Castagna et Jean-Éric Pin) sont membres de l'Academia Europæa.

Anciens membres

modifier

Articles liés

modifier

Notes et références

modifier

Liens externes

modifier