2016年1月，美国国家科学基金会（NSF）宣布投入3千万美元以推动前沿计算技术的研发。此次资助的项目将探索理论计算机科学、合成生物学和计算型可持续发展方面的前沿问题，包括：设计用于软件开发的形式化方法，开发用于生物设计的新型计算工具箱，构建全国性和国际性的计算型可持续发展研究者网络。 

　　受资助的相关项目如下： 

　　“深度规格科学”项目旨在通过改进形式化方法和数学方法来消除软件漏洞，从而避免软件出错。 

　　“可进化的生命计算——认识和量化合成生物系统的可用性、性能与局限”项目将制定出一套系统性指南。 

　　“计算型可持续发展网络：扩大计算型可持续发展的边界”项目旨在利用计算技术来达到环境、经济和社会需求之间的平衡。 

　　来源：EurekAlert科学新闻网站 

　　如需了解详细内容，请联系：xxhkb@cashq.ac.cn