2013年8月-2014年7月【实验室开放课题】
| 序号 | 课题名称 | 负责人 | 起止时间 |
| 1 | 混行模式下基于群体智能的交叉路口车辆控制策略研究 | 葛宏伟 | 2013年8月—2014年7月 |
| 2 | 度量区间时序逻辑MITL的模型检测 | 李广元 | 2013年8月—2014年7月 |
| 3 | 面向物联网的隐私保护关键理论和技术 | 何月顺 | 2013年8月—2014年7月 |
| 4 | 协同多云计算中基于身份的远程数据分布式PDP的研究 | 王化群 | 2013年8月—2014年7月 |
| 5 | 基于Event-B的混合系统高可信开发方法 | 苏 雯 | 2013年8月—2014年7月 |
| 6 | 面向航天嵌入式控制软件的形式化建模语言研究 | 王 政 | 2013年8月—2014年7月 |
| 7 | 基于OBD总线的车联网终端设计及其应用 | 王江涛 | 2013年8月—2014年7月 |
| 8 | 面向自修改代码的通用反汇编技术及其静态分析技术研究 | 宋 富 | 2013年8月—2014年7月 |
| 9 | 行列式和线性方程组的可信计算研究 | 赵世忠 | 2013年8月—2014年7月 |
| 10 | 概率模型检测中的若干符号计算问题 | 徐 鸣 | 2013年8月—2014年7月 |