信息基金会研究所(IRIF)是由中国科学院巴黎城市大学如UMR 8243。这是两个研究单位合并的结果LIAFA公司PPS公司2016年1月1日。IRIF主机一台Inria公司项目团队。IRIF也是巴黎数学科学基金会(FSMP),以及三个地区项目:数学-因诺夫,计算机科学,量子技术.

IRIF的研究基于对所有计算机科学基础的研究和理解,目的是为数字科学当前和未来的挑战提供创新解决方案。

特别是,IRIF因其在算法设计和分析、计算和数据表示模型研究、编程语言基础、软件开发、验证和认证方面的贡献而闻名。IRIF还利用其科学方法进行跨学科研究。

IRIF依赖于在其中开发和研究的数学概念,特别是在组合学、图论、逻辑和代数方面。它的工作也直接有助于数学,包括数论、组合物理学、概率论、范畴、证明理论和计算机辅助数学证明。

在CNRS,IRIF主要隶属于计算机科学研究所(INS2I公司)其次是数学研究所(INSMI公司). IRIF是计算机科学系巴黎城市大学,也接待了数学系. 最后,IRIF隶属于巴黎数学科学博士学院(ED386).

IRIF由九个专题小组组成,分为三个研究极:

IRIF目前拥有100个常任理事国,包括50名教职员工,27名CNRS研究人员,5名INRIA研究人员,8名退休人员,行政技术人员8人(2022年3月)。IRIF成员总数,包括博士生、博士后、助教长期来访者约有200人。

IRIF的六名成员收到了来自欧洲研究委员会(ERC),六位是法国大学研究所(IUF),两个是欧洲学院a,其中一个是科学院.

IRIF手册(法语版本)


附属


巴黎城市大学

中国科学院

教职员工部门


计算机科学

数学

合作伙伴


印度

巴黎数学科学基金会

数学-伊诺夫

RFSI公司

SIRTEQ公司