演示 信息基金会研究所(IRIF)是由中国科学院和巴黎城市大学如UMR 8243。这是两个研究单位合并的结果LIAFA公司和PPS公司2016年1月1日。IRIF主机一台Inria公司项目团队。IRIF也是巴黎数学科学基金会(FSMP),以及三个地区项目:数学-因诺夫,计算机科学,量子技术. IRIF的研究基于对所有计算机科学基础的研究和理解,目的是为数字科学当前和未来的挑战提供创新解决方案。 特别是,IRIF因其在算法设计和分析、计算和数据表示模型研究、编程语言基础、软件开发、验证和认证方面的贡献而闻名。IRIF还利用其科学方法进行跨学科研究。 IRIF依赖于在其中开发和研究的数学概念,特别是在组合学、图论、逻辑和代数方面。它的工作也直接有助于数学,包括数论、组合物理学、概率论、范畴、证明理论和计算机辅助数学证明。 在CNRS,IRIF主要隶属于计算机科学研究所(INS2I公司)其次是数学研究所(INSMI公司). IRIF是计算机科学系巴黎城市大学,也接待了数学系. 最后,IRIF隶属于巴黎数学科学博士学院(ED386). IRIF由九个专题小组组成,分为三个研究极: 电杆算法和离散结构 算法和复杂性 组合数学 分布式计算 图的理论和算法 电杆自动化、结构和验证 自动机及其应用 建模和验证 电杆证明、程序和系统 代数与计算 程序和语言(PL) 证据和程序 IRIF目前拥有100个常任理事国,包括50名教职员工,27名CNRS研究人员,5名INRIA研究人员,8名退休人员,行政技术人员8人(2022年3月)。IRIF成员总数,包括博士生、博士后、助教长期来访者约有200人。 IRIF的六名成员收到了来自欧洲研究委员会(ERC),六位是法国大学研究所(IUF),两个是欧洲学院a,其中一个是科学院. IRIF手册(法语版本) 附属 教职员工部门 计算机科学 数学 合作伙伴