法国国家信息与自动化研究所 编辑
法国国立计算机及自动化研究院，法文为 Institut national de recherche en informatique et en automatique ，其重点研究领域为计算机科学，控制理论及应用数学。该研究院于1967年在巴黎附近的罗克库尔创立。INRIA是世界著名的科研机构，其科研实力在世界大学和科研机构的计算机领域中排名前列。在2019年世界顶尖计算机与机器学习学术会议NeurIPS中，Inria的论文录取数在全球大学与科研机构中排名第12位，欧盟区域内第1位。
2
相关
巴黎文理研究大学是于2010年由法国教育部批准的将巴黎地区九所高校及研究所进行合并而组成的一所世界顶尖综合性大学。其组成单位包括巴黎高等师范学院、国立巴黎高等化学学校、巴黎第九大学、国立巴黎高等矿业学校、居里研究所、法国国家科学研究中心、法国国家信息与自动化研究所、法国国家健康与医学研究院等名校。
F*是一个由微软研究院和法国国家信息与自动化研究所主导开发的、基于ML语言的依赖类型函数式编程程序语言，主要用于程序的形式化验证。