美国国家科学基金会本周宣布它在在三个多学科研究项目，旨在把先进的计算模型，对工作坭兴软件缺陷，提高合成生物学和创造一个更加可持续发展的世界资金私分3000万$。
在普林斯顿大学，波士顿大学和康奈尔大学的研究人员将带领在计算项目探险，其中每个获得超过5年千万$。该NSF的探险计划已资助19个项目，以1.9亿$的最新调，与从机器人到移动互联网的重点领域。
该普林斯顿努力名为DeepSpec，由安德鲁·阿佩尔主导，还涉及到研究人员的大学宾夕法尼亚，耶鲁大学和麻省理工学院。
美国国家科学基金会说，研究“旨在消除软件‘虫’，可导致安全漏洞，并通过改进形式方法计算错误 - 或者基于数学的技术 - 通过软件开发和验证”研究人员将解剖计算机硬件和软件的工作，共同努力的如何各种组件。
在一份声明中，计算机科学教授阿佩尔说：“在我们这个相互关联的世界，软件缺陷和安全漏洞带来巨大的成本和风险，当你踩下油门踏板或现代汽车制动器，比如，你真的只是建议。到要加快或减慢。计算机最好做对了一些计算机程序“。
波士顿大学将导致研究项目不那么简洁地称为生活演化计算 - 理解并计算合成的生物系统公司的适用性，性能和限制。
美国国家科学基金会说，“该赠款将支持努力创造的方针系统化集仔细测量和目录，可用于改造其结果可想而知生物系统中的生物部分。这些准则将允许研究人员更好地了解计算原理可以重复应用且可靠地对合成生物学“。这可能会导致在医疗保健和超越的突破。
康奈尔大学的卡拉·戈麦斯将引领第三个项目，题为CompSustNet：扩大计算可持续发展的视野。
美国国家科学基金会说：“CompSustNet将作为一个大的国家和国际多机构的研究和教育网络，在保护，减缓贫困和可再生能源等领域的关键的政府和非政府组织合作，研究人员将使用计算技术和方法增加的自然和社会资源的管理和分配的有效性“。