L'Institut de Recherche en Informatique Fondamentale（IRIF）est une unitémixte de Recherche（UMR 8243）中心中国科学院等l'巴黎城市大学,qui héberge uneéquipe-projet公司Inria公司。混合混合UMRLIAFA公司et（等）PPS公司au 1er janvier 2016年。L'IRIF est aussi membre de la公司巴黎数学科学基金会（FSMP）et de trois Domaines d’Intérít Majeur de laégion Ile-de-France（法国国际大教堂）：数学-因诺夫,科学信息学,技术数量.

《国际自然基金会报告》（Les recherches menées a l’IRIF reposent sur l’étude et la comprehension des fundements de toute l’informatique，afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques）。

特别是，IRIF在概念和算法分析、计算模式和代表性、编程语言基金会、逻辑开发、验证和认证方面做出了重要贡献。L'IRIF有效地促进了跨学科的科学研究。

L'IRIF’appuie sur des concepts mathematiques développeés etéstudiés en son sein，notement en combintoire，theéorie des grapes，logique et algèbre。辅助数学指导、体格组合注释、概率、类别、前奏曲和前奏曲辅助参数。

Au CNRS，l'IRIF est principalement rattacheál'Institut National des Sciences de l'Information and de leurs Interactions（信息与勒尔相互作用国家科学研究所）(INS2I公司)et，secondairement，a l‘国家科学研究院数学与数学互动研究所’（Institut National des Sciences Mathématiques et de leurs Interactions）(INSMI公司)。L'IRIF est membre de L'（我的名字）UFR d’informatique信息巴黎城市大学及其纪念馆数学建模UFR。巴黎数学中心科学博士(第386版).

L'IRIF est structureéen neuféquipes theématiques recurche重新组织：

• 波勒算法与结构差异
  • 算法与复合
  • 组合电器
  • Calcul distribué
  • 图的Théorie et算法
• 波勒自动化、结构和验证
  • 自动化et应用程序
  • 现代化和验证
• 波勒Preuves、程序和系统
  • 阿尔盖布雷与计算
  • 系统分析和概念
  • Preuves et计划

L'IRIF公司永久会员中心法案，serépartiant en-en 50 enseicent·e·s-chercheurs·euses，27 chercheur·e·s CNRS，5名天使·尤斯·INRIA、8名会员和8名技术管理人员（en-mars 2022）。L'effectif total de L'IRIF，包括博士、博士后、ATERet visiteurs·eusses de longue durée s'élèveáprès de de-deux cencents personnes.拜访者。

六件名为'IRIF ontétélauréat·e·s de l'的纪念品欧洲研究委员会（ERC），六个儿子法国大学研究所（IUF），deux sont membres de l’欧洲学院a等我回来科学院.

IRIF手册(英文版)