南丹麦大学参与了一项全球性倡议，旨在为现代计算和人工智能系统带来数学上的确定性。该校与形式化方法与未来计算中心的法布里齐奥·蒙特西教授一起，在这一新的国际倡议中发挥着主导作用。该倡议名为“计算科学图书馆”（简称CSLib），正在构建一个可复用的形式化基础设施，用于开发具有数学保证的软件。这一举措将使南丹麦大学成为未来软件与人工智能基础开发的核心机构。
数字社会对可靠软件的迫切需求
当今社会高度依赖于运行在能源、金融、医疗、科学研究以及通信等关键领域的各类软件。随着人工智能工具越来越多地参与代码生成与优化，人们对软件系统的可靠性、安全性以及透明度的要求也日益提高。
尽管计算机科学界早已开始探索用于软件规范与验证的严格数学框架——即“形式化方法”，但这些知识仍然分散在研究文献和专业工具之中，难以在主流软件开发实践中得到广泛应用。
汇聚全球顶尖专家
CSLib计划旨在彻底改变这一现状：将形式化方法从专业化的实践转变为一种共享的大规模基础设施。该倡议由来自南丹麦大学、斯坦福大学、德克萨斯大学奥斯汀分校、亚马逊、谷歌深度思维以及精益前沿组织的研究人员共同指导，汇聚了形式化方法、软件系统和人工智能三大领域的顶尖专业知识。
这一倡议将使南丹麦大学跻身未来软件与人工智能基础建设的全球核心位置。
南丹麦大学校长延斯·林格莫兹表示：“借助CSLib，南丹麦大学展示了我们强大的研究环境如何通过前沿研究、创新和国际合作产生全球影响力。我们参与该项目表明，形式化方法和软件开发领域的突破性研究能够拓展未来数字社会构建的边界。我为南丹麦大学能在这样一项雄心勃勃的全球倡议中发挥核心作用而感到自豪。”
增强对数字系统的信任
CSLib计划立足于南丹麦大学在形式化方法、分布式系统以及安全软件领域已有的研究成果，并为该校的研究人员和学生提供了与该领域世界领先机构密切合作的宝贵机会。因此，该项目也与南丹麦大学加强国际研究合作、发展强大研究与创新环境的整体战略高度契合。
南丹麦大学形式化方法与未来计算中心主任、丹麦高级研究院教授法布里齐奥·蒙特西担任CSLib的首席维护者及指导小组成员。他表示：
“如今，软件已在全球范围内运行。为了实现值得信赖的数字系统——包括那些由人工智能塑造的系统——我们需要具备同样深远影响力的数学清晰度。CSLib是一项长期的架构性工程：它要构建的是未来计算所依赖的共享知识基础设施。”
CSLib的愿景是打造一个通用的基础设施，供全球研究人员和开发者在此基础上持续开发，并助力在未来数十年内增强人们对数字系统的信任。
通过参与形式化方法与未来计算中心的建设，南丹麦大学成为欧洲首个在该项目的管理与技术开发中均发挥主导作用的机构。
