软件所推免生补录通知

文章来源:  |  发布时间:2018-09-29  |  【打印】 【关闭

  

各位推免生:

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

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.iscas.ac.cn

软件分析与系统安全

李明树、贺也平

软件

工程

中心

网络分布计算理论与技术

黄涛、金蓓弘等

4

yedan@otcaix.iscas.ac.cn

分布式软件理论与技术

钟华、魏峻、

叶丹等

智能

软件

研究

中心

智能基础理论与系统,智能系统软件

  琛、武延军

2

jiran@iscas.ac.cn

软件与智能系统安全性

薛云志、吴敬征

智能计算编译工具链

 

人机交互

人机交互,实时智能

王宏安、乔颖

1

cuixia@iscas.ac.cn