美国国家科学基金会（NSF）的计算机与通信学部于2014年8月提出将支持一批软硬件基础研究项目（SHF）。SHF项目将支持与计算机硬件和软件的设计、验证、运行、使用和评估相关的研究和教育。相关研究应在正式方法、语言、逻辑、新软件和/或硬件或算法方面取得成果，并实现新的或更强的功能、验证、可用性或规模。

来源：美国国家科学基金会

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