诺丁汉大学学者获得200万欧元的研究经费，用于探究数学语言之间的翻译。诺丁汉大学计算机科学学院的尼古莱·克劳斯博士获得了欧洲研究理事会（ERC）颁发的200万欧元Consolidator Grant，用于进一步探索计算机科学和数学的交叉领域。
克劳斯博士将利用这笔经费建立不同数学语言之间的连接，帮助专家们使用类型理论来检查数学推理和程序中的错误。
此次的Consolidator Grant将促使不同的类型理论之间发挥协作效应，从而帮助技术更易于使用，让广大群众受益。
克劳斯博士表示，这个ERC Consolidator Grant支持的工作将有助于研究人员更好地分享彼此的成果，并减少需要复制的工作量。
他认为，现阶段的数学挑战将导致无法简单地找到解决问题的单一解决方案。希望这项研究能为未来的发展提供基础。
关于诺丁汉大学：
诺丁汉大学被评为欧洲第32、英国第16的大学，是研究密集型大学协会（Russell Group）的创始成员之一。多年以来，诺丁汉大学一直以其创新精神和全球联接的教育、研究和工业合作网络而自豪。
该校在体育大学榜单中多次荣获殊荣，并以研究实力位列英国第七。不仅诞生了MRI和布洛芬等重要发现，更在可持续研究领域做出了杰出贡献。在合作共赢的观念引领下，诺丁汉大学致力于提高社会繁荣、机会、可持续性、健康和福祉水平。
