近日，科技部公布了国家重点基础研究发展计划（“973计划”）2014年启动的160个项目。软件研究所“百人计划”研究员熊英飞担任负责人的青年科学家专题项目《基于情境的安全攸关软件的构造方法与运行机理研究》获批。这是继去年现代通信所“百人计划”研究员宋令阳项目获批之后，我院第二个该专题的立项项目。    
        该项目主要成员还包括软件研究所郝丹副教授、刘譞哲副教授，以及香港中文大学深圳研究院的周扬帆研究员和郑子彬副研究员。