法国国家信息与自动化研究所（Inria）是一家法国公立研究机构，致力于计算机科学与应用数学研究。该机构于1967年以法国信息与自动化研究所（IRIA）之名成立，由法国国家教育、高等教育与研究部和经济、财政与工业部共同监管。Inria开展理论与应用研究，产出广泛使用的软件，并在人工智能和机器学习等领域做出重要贡献。
Inria的起源可追溯至法国政府为提升国家计算能力而实施的“计算计划”（Plan Calcul）。其首个驻地设在巴黎附近的罗康库尔，位于北约军事力量中央指挥部SHAPE的历史建筑内，该地至今仍是其总部。该机构于1980年更名为INRIA，并于2011年采用风格化名称Inria。
行政地位
Inria是一所公立科学与技术研究机构（EPST），在法国各地设有九个研究中心，分别位于波尔多、格勒诺布尔-伊诺瓦莱、里尔、里昂、南锡、巴黎-罗康库尔、雷恩、萨克莱和索菲亚-安蒂波利斯，另在智利圣地亚哥设有一个中心。此外，它还参与这些中心之外的联合研究团队。例如，Inria雷恩中心隶属于雷恩信息与随机系统研究所（IRISA），而Inria南锡中心则与法国国家科学研究中心（CNRS）和洛林大学共同参与洛林信息学与应用研究实验室（LORIA）的建设。2007年12月之前，波尔多、里尔和萨克莱的中心曾合并为一个名为INRIA Futurs的单一实体。2010年10月，Inria与皮埃尔和玛丽·居里大学（现索邦大学）及巴黎狄德罗大学合作，启动了IRILL项目，该倡议聚焦于自由软件的创新与研究。该机构约雇用3800人，其中包括1300名研究人员、1000名博士生和500名博士后。
研究与软件贡献
Inria的研究涵盖计算机科学的广泛领域，从基础理论到实际应用。其成果包括众多被广泛采用的项目和工具。著名例子包括Caml系列编程语言（含OCaml）以及Rocq证明助手。在分布式系统方面，Inria开发了基于微内核的Chorus操作系统和CYCLADES网络，后者开创了数据报和端到端策略等概念，这些概念后来被纳入TCP/IP和互联网。其他重要贡献包括CompCert验证C编译器、机器学习库scikit-learn、Scilab数值计算软件包以及medInria医学图像处理软件。Inria还开发了用于状态自动机的Esterel语言、用于多物理场仿真的SOFA框架以及用于脑机接口的OpenViBE平台。
在人工智能领域，Inria一直是法国研究的领军力量。2019年，根据在神经信息处理系统会议（该会议是深度学习和神经网络研究的顶级场所）上被接受的论文数量，它在全球排名第12位。其工作常与生成式人工智能和大语言模型开发等领域相交，但其贡献更偏基础性，侧重于算法、优化和理论。该机构的研究团队与学术机构和工业界广泛合作，推动计算机视觉、自然语言处理和机器人学等领域的创新。
历史里程碑
Inria历史上的一个关键时刻出现在1988年8月，当时它通过一条从法国电信和MCI租用的卫星链路，将其索菲亚-安蒂波利斯分部连接到NSFNet（现代互联网的前身）。这条连接于1988年8月8日投入使用，是NSFNet的首条国际链路，也标志着法国网络首次直接接入基于TCP/IP的网络。它使Inria研究人员能够访问美国网络，并让NASA研究人员能够访问位于斯特拉斯堡的天文数据库。这种对互联网协议的早期采用使Inria处于网络研究的前沿，尽管此后数年法国的互联网仍仅限于研究和教育用途。
影响与遗产
在数十年的运营中，Inria已确立为法国和欧洲数字研究的基石。其软件工具，如Eigen C++库和用于拓扑数据分析的Gudhi库，在全球学术界和工业界得到广泛应用。该机构对开源软件的重视，例如Pharo和GNU MPFR等项目，促进了共享与协作的文化。Inria在培养研究人员方面的作用及其广泛的发表记录，凸显了它在塑造计算机科学领域方面的影响力。截至2020年代初，它继续扩展其研究议程，应对人工智能、网络安全和高性能计算领域的新兴挑战，同时保持其科学卓越与社会影响的双重使命。
参考文献
Abbate, Janet (1999). Inventing the Internet. Cambridge, Massachusetts: MIT Press. ISBN 978-0-262-01172-3.
Beltran, Alain; Griset, Pascal (2007). Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria. EDP Sciences. ISBN 978-2-86883-806-3.