序号

项目批准号

项目负责人

项目名称

1

61003026

许中兴

面向错误检测的C++程序静态分析技术

2

61003027

张震宇

持续集成中的回归测试和错误定位

3

61003028

肖俊超

软件过程执行不确定性研究

4

61003029

吴国全

动态服务组合自治愈关键技术研究

5

61003030

夏盟佶

计数复杂性的扩展研究

6

61003117

李文波

大规模概率主题模型的高性能求解

7

61003228

陈驰

空间数据访问控制模型研究

8

61005039

邓小明

基于单目全向图像序列的高精度视觉自定位研究

9

61070038

陈海明

无秩树结构数据和语义多态类型系统的研究

10

61070039

张健

基于EFSM模型的测试与错误诊断

11

61073044

王青

知识驱动的软件过程资源配置及质量控制方法研究

12

61073178

周永彬

能量分析攻击、防御及测评的理论方法与关键技术研究

13

61073179

苏璞睿

基于动态污点传播的恶意软件逆向分析研究

14

61073180

朱红松

基于无线环境认知的多网络优化共存关键技术研究