各位推免生：

  我所现空出部分推免指标，计划于国庆节后进行第三批推免生面试，补录一批硕士生。有意来中科院澳门上葡京攻读硕士学位的具有推荐免试资格的学生，请与有关部门的老师联系，通过初审后按各部门规定的时间参加面试。

2018.9.29

推免生补录信息

部门	研究方向代码及名称	指导教师	补录 人数	联系地址
计算 机科 学国 家重 点实 验室	软件设计与分析方法、新型计算模型与应用	陈海明	2	chm@ios.ac.cn
	并发理论与应用、并发系统分析与验证	焦  莉		ljiao@ios.ac.cn
	程序分析与验证	詹乃军、吴志林、李勇坚		znj@ios.ac.cn
	概率模型验证与分析	张立军		zhanglj@ios.ac.cn
	混成系统安全性验证	薛  白		xuebai@ios.ac.cn
	计算机图形学与虚拟现实	王文成		whn@uscas.ac.cn
	程序分析与软件测试	张震宇		zhangzy@ios.ac.cn
基础软件国家 工程研究中心	软硬件深度融合	杨秋松、马恒太、李文波等	3	wenbo@nfs.njdichuang.com
	软件分析与系统安全	李明树、贺也平
软件 工程 中心	网络分布计算理论与技术	黄涛、金蓓弘等	4	yedan@otcaix.njdichuang.com
	分布式软件理论与技术	钟华、魏峻、 叶丹等
智能 软件 研究 中心	智能基础理论与系统，智能系统软件	赵  琛、武延军	2	jiran@njdichuang.com
	软件与智能系统安全性	薛云志、吴敬征
	智能计算编译工具链	李  玲
人机交互	人机交互，实时智能	王宏安、乔颖	1	cuixia@njdichuang.com