2015年8月-2017年7月【实验室开放课题】
| 序号 | 课题名称 | 负责人 | 起止时间 |
| 1 | 基于UTP的信息物理融合系统设计方法研究 | 朱龙飞 | 2015年8月—2017年7月 |
| 2 | 同步语言时间可预测多线程代码生成方法研究 | 杨志斌 | 2015年8月—2017年7月 |
| 3 | 基于HCSP的混成系统建模与验证研究 | 王淑灵 | 2015年8月—2017年7月 |
| 4 | 基于抽象解释的数值程序分析技术 | 陈立前 | 2015年8月—2017年7月 |
| 5 | 基于计算机代数的程序验证方法研究 | 杨争峰 | 2015年8月—2017年7月 |
| 6 | 面向大数据的轻量级可验证安全外包计算研究 | 周 俊 | 2015年8月—2017年7月 |
| 7 | 基于分类的演化算法预选择机制研究 | 周爱民 | 2015年8月—2017年7月 |
| 8 | 对抗式Android恶意软件排查 | 徐立华 | 2015年8月—2017年7月 |