单位代码：14431 院系所代码：150 单位地址：北京市中关村南四街4号 邮政编码：100190
联系部门：研究生部 电话：010-62561196 联系人：李老师 邮件地址：caili@iscas.ac.cn
学科
专业 研究方向代码及名称 指导教师 预计
招生计划
（推免人数） 考试科目代码及名称
计算机软件与理论 01. 软件设计与分析方法、新型计算模型与应用 陈海明 6（3） 101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）
02. 并发理论与应用、并发系统分析与验证 焦 莉
张文辉
03. 程序分析与验证 詹乃军
吴志林
李勇坚
04. 数据挖掘与人工智能 沈一栋
05. 算法设计分析与复杂性 夏盟佶
Georgios Barmpalias
06. 概率模型验证与分析 张立军
07. 混成系统安全性验证 薛 白
08. 组合优化与算法工程 蔡少伟
09. 并行算法与并行软件 李玉成
曹建文
刘芳芳 3（2）
10. 网络检索与数据挖掘 牛树梓
11. 中文信息处理与检索 孙 乐
韩先培
马龙龙 2（2）
12. 新型操作系统及系统安全 李明树
贺也平
翟 健 7（4）
13. 软硬件深度融合 杨秋松
马恒太
李文波
陶秋铭
马 越
14. 网络分布计算理论与技术 黄 涛
金蓓弘
王 伟
刘 杰 3（2）
计算机应用技术 01. 计算机图形学与虚拟现实 王文成
侯 飞 3（2） 101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）
02. 可视分析与数据挖掘 时 磊
03. 人机交互，实时智能 王宏安
田 丰
乔 颖
陈 辉
范向民 6（4）
学科
专业 研究方向代码及名称 指导教师 预计
招生计划 考试科目代码及名称
计算机应用技术 04. 智能信息处理 胡晓惠
郑昌文
赵军锁
吴凤鸽
许克峰
廖名学 7（7） 101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）
05. 网络技术及应用 刘立祥
软件工程（0835）（学硕） 01. 程序分析与软件测试 张 健
蔡 彦 5（3） 101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）
02. 嵌入式/分布式系统分析与优化 朱雪阳
03. 实时并发系统的分析与验证 李广元
04. 多核并发程序分析、验证与测试 吴 鹏
05. 软件安全 苏璞睿 1（1）
06. 数据挖掘与大数据 陈 峰 2（1）
07. 软件分析与系统安全 李明树
贺也平 3（1）
08. 用户界面技术 王宏安
马翠霞
何小伟 5（4）
09．软件开发与保障技术 王 青 2（2）
10. 分布式软件理论与技术 黄 涛
钟 华
魏 峻
叶 丹
张文博
吴国全
严 俊
陈 伟
窦文生
吴 恒
王 焘
高楚舒 11（8）
11.复杂系统软件 胡晓惠
郑昌文
吕 品 4（4）
12. 时空大数据及智能分析 丁治明
张凤军 2（1）
13. 大数据与人工智能 王永吉
杨 立
14. 智能基础理论与系统 赵 琛
武延军 2（0）
15. 智能系统软件 武延军
学科
专业 研究方向代码及名称 指导教师 考试科目代码及名称
网
络
空
间
安
全 01. 密码学与安全协议 张振峰
吴文玲
徐 静
张 斌 6（5） 101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）
02. 网络与系统安全 苏璞睿
连一峰
张立武
陈 华
张 阳
张 敏
杨 轶
软件工程(085212)（专硕） 01. 软件设计与分析方法 陈海明 16（6） 101.思想政治理论
204.英语二
302.数学二
863.计算机学科综合（专业）
02. 程序分析与软件测试 张 健
张震宇
03. 图像分析与可视化 王文成
04. 软件安全与信息保障 秦 宇
和 亮
程 亮
刘玉岭
05. 中文信息处理与检索 吴 健
06. 基础软件与应用 芮建武
07. 交互式系统设计与开发 邓小明
朱嘉奇
08. 软件开发与保障技术 王俊杰
09. 分布式软件系统工程 钟 华
左 春*
许舒人
10.复杂系统软件 吕 品
周 鑫
11. 软件与智能系统安全性 薛云志
吴敬征
12. 智能计算编译工具链 李 玲
备注 表中所列计划为预计招生计划，实际招生计划以国家下达的招生计划为准。
[微信公众号查成绩：】
