南丹麦大学参与了一项全球性倡议，旨在为现代计算和人工智能系统带来数学上的确定性。该校与形式化方法与未来计算中心的法布里齐奥·蒙特西教授一起，在这一新的国际倡议中发挥着主导作用。该倡议名为“计算科学图书馆”（简称CSLib），正在构建一个可复用的形式化基础设施，用于开发具有数学保证的软件。这一举措将使南丹麦大学成为未来软件与人工智能基础开