阅读7755次
2019-11-17
2020年中国科学院软件研究所专业目录已出，圣才考研网小编为大家整理了相关内容，欢迎大家点击查看！更多考研动态｜模拟试题｜历年真题请关注圣才考研网！
2020年中国科学院软件研究所专业目录
|
学科、专业名称（代码）研究方向
|
指导教师
|
预计招生
|
考试科目
|
备注
|
|
081200 计算机科学与技术
|
|
31
|
|
|
|
01 (全日制)计算机图形学与虚拟现实
|
王文成
|
|
①101思想政治理论②201英语一③301数学一④863计算机学科综合（专业）
|
|
|
侯飞
|
|
同上
|
|
|
02 (全日制)算法与计算复杂性
|
夏盟佶
|
|
同上
|
|
|
03 (全日制)量子软件理论
|
应明生
|
|
同上
|
|
|
04 (全日制)信息编码和社会网络动态，逻辑学与复杂性
|
Georgios Barmpalias
|
|
同上
|
|
|
05 (全日制)基于学习算法的模型验证
|
张立军
|
|
同上
|
|
|
06 (全日制)安全攸关系统的形式设计理论
|
詹乃军
|
|
同上
|
|
|
07 (全日制)软件设计与分析方法，新型计算模型与应用
|
陈海明
|
|
同上
|
|
|
08 (全日制)嵌入式系统建模与验证，交互式定理证明
|
王淑灵
|
|
同上
|
|
|
09 (全日制)混成系统及AI系统的形式化验证
|
薛白
|
|
同上
|
|
|
10 (全日制)程序分析与验证
|
李勇坚
|
|
同上
|
|
|
吴志林
|
|
同上
|
|
|
詹博华
|
|
同上
|
|
|
11 (全日制)智能优化与自动推理
|
蔡少伟
|
|
同上
|
|
|
12 (全日制)并行算法与并行软件
|
曹建文
|
|
同上
|
只招推免生
|
|
李玉成
|
|
同上
|
只招推免生
|
|
马文静
|
|
同上
|
只招推免生
|
|
赵海涛
|
|
同上
|
只招推免生
|
|
13 (全日制)自然语言理解
|
孙乐
|
|
同上
|
只招推免生
|
|
吴健
|
|
同上
|
只招推免生
|
|
马龙龙
|
|
同上
|
只招推免生
|
|
韩先培
|
|
同上
|
只招推免生
|
|
14 (全日制)新型操作系统及系统安全
|
李明树
|
|
同上
|
|
|
贺也平
|
|
同上
|
|
|
翟健
|
|
同上
|
|
|
15 (全日制)软硬件深度融合
|
马恒太
|
|
同上
|
|
|
杨秋松
|
|
同上
|
|
|
李文波
|
|
同上
|
|
|
陶秋铭
|
|
同上
|
|
|
马越
|
|
同上
|
|
|
16 (全日制)网络分布计算理论与技术
|
金蓓弘
|
|
同上
|
|
|
黄涛
|
|
同上
|
|
|
王伟
|
|
同上
|
|
|
刘杰
|
|
同上
|
|
|
17 (全日制)人机交互，实时智能
|
王宏安
|
|
同上
|
|
|
田丰
|
|
同上
|
|
|
乔颖
|
|
同上
|
|
|
陈辉
|
|
同上
|
|
|
范向民
|
|
同上
|
|
|
韩腾
|
|
同上
|
|
|
18 (全日制)智能信息处理
|
徐帆江
|
|
同上
|
|
|
吴凤鸽
|
|
同上
|
|
|
苏冰
|
|
同上
|
|
|
19 (全日制)网络技术及应用
|
刘立祥
|
|
同上
|
|
|
083500 软件工程
|
|
40
|
|
|
|
01 (全日制)自动推理，软件测试
|
张健
|
|
①101思想政治理论②201英语一③301数学一④863计算机学科综合（专业）
|
|
|
02 (全日制)嵌入式/分布式系统分析与优化
|
朱雪阳
|
|
同上
|
|
|
03 (全日制)程序分析与测试，软件安全
|
蔡彦
|
|
同上
|
|
|
04 (全日制)智能软件分析与测试
|
吴鹏
|
|
同上
|
|
|
05 (全日制)软件安全
|
苏璞睿
|
|
同上
|
|
|
张颖君
|
|
同上
|
|
|
闫佳
|
|
同上
|
|
|
06 (全日制)高性能计算
|
张常有
|
|
同上
|
只招推免生
|
|
刘芳芳
|
|
同上
|
只招推免生
|
|
吴长茂
|
|
同上
|
只招推免生
|
|
07 (全日制)软件分析与系统安全
|
李明树
|
|
同上
|
|
|
贺也平
|
|
同上
|
|
|
08 (全日制)用户界面技术
|
王宏安
|
|
同上
|
|
|
马翠霞
|
|
同上
|
|
|
朱嘉奇
|
|
同上
|
|
|
何小伟
|
|
同上
|
|
|
09 (全日制)智能软件工程
|
王青
|
|
同上
|
|
|
王俊杰
|
|
同上
|
|
|
10 (全日制)需求工程
|
石琳
|
|
同上
|
|
|
11 (全日制)分布式软件理论与技术
|
钟华
|
|
同上
|
|
|
魏峻
|
|
同上
|
|
|
叶丹
|
|
同上
|
|
|
黄涛
|
|
同上
|
|
|
严俊
|
|
同上
|
|
|
张文博
|
|
同上
|
|
|
陈伟
|
|
同上
|
|
|
吴国全
|
|
同上
|
|
|
高楚舒
|
|
同上
|
|
|
窦文生
|
|
同上
|
|
|
王焘
|
|
同上
|
|
|
吴恒
|
|
同上
|
|
|
12 (全日制)大数据与智能信息处理
|
郑昌文
|
|
同上
|
|
|
胡晓惠
|
|
同上
|
|
|
赵军锁
|
|
同上
|
|
|
13 (全日制)数据可视化与智能用户界面
|
张凤军
|
|
同上
|
只招推免生
|
|
14 (全日制)智能软件工程
|
杨立
|
|
同上
|
只招推免生
|
|
15 (全日制)大数据与人工智能
|
王永吉
|
|
同上
|
只招推免生
|
|
16 (全日制)时空大数据及智能分析
|
丁治明
|
|
同上
|
只招推免生
|
|
17 (全日制)智能基础理论与系统
|
赵琛
|
|
同上
|
|
|
武延军
|
|
同上
|
|
|
18 (全日制)智能操作系统
|
武延军
|
|
同上
|
|
|
19 (全日制)智能软件安全
|
吴敬征
|
|
同上
|
|
|
083900 网络空间安全
|
|
8
|
|
|
|
01 (全日制)密码学与安全协议
|
吴文玲
|
|
①101思想政治理论②201英语一③301数学一④863计算机学科综合（专业）
|
|
|
徐静
|
|
同上
|
|
|
张振峰
|
|
同上
|
|
|
张斌
|
|
同上
|
|
|
张蕾
|
|
同上
|
|
|
02 (全日制)网络与系统安全
|
苏璞睿
|
|
同上
|
|
|
连一峰
|
|
同上
|
|
|
张敏
|
|
同上
|
|
|
陈华
|
|
同上
|
|
|
张立武
|
|
同上
|
|
|
张阳
|
|
同上
|
|
|
范丽敏
|
|
同上
|
|
|
杨轶
|
|
同上
|
|
|
085400 电子信息
|
|
16
|
|
|
|
01 (全日制)图像分析与可视化
|
王文成
|
|
①101思想政治理论②204英语二③302数学二④863计算机学科综合（专业）
|
|
|
02 (全日制)自动推理，软件测试
|
张健
|
|
同上
|
|
|
03 (全日制)软件设计与分析方法
|
陈海明
|
|
同上
|
|
|
04 (全日制)软件安全与信息保障
|
秦宇
|
|
同上
|
|
|
程亮
|
|
同上
|
|
|
和亮
|
|
同上
|
|
|
李昊
|
|
同上
|
|
|
冯伟
|
|
同上
|
|
|
05 (全日制)并行计算
|
李会元
|
|
同上
|
只招推免生
|
|
06 (全日制)基础软件与应用
|
芮建武
|
|
同上
|
|
|
07 (全日制)交互式系统设计与开发
|
邓小明
|
|
同上
|
|
|
刘杰
|
|
同上
|
|
|
08 (全日制)知识图谱与云计算
|
王青
|
|
同上
|
|
|
09 (全日制)分布式软件系统工程
|
钟华
|
|
同上
|
|
|
许舒人
|
|
同上
|
|
|
10 (全日制)复杂系统软件
|
许克峰
|
|
同上
|
|
|
周鑫
|
|
同上
|
|
|
11 (全日制)分布式软件系统工程
|
左春
|
|
同上
|
|
|
12 (全日制)时空大数据及智能分析
|
丁治明
|
|
同上
|
只招推免生
|
|
13 (全日制)软件与智能系统安全性
|
薛云志
|
|
同上
|
|
|
14 (全日制)智能计算编译工具链
|
李玲
|
|
同上
|
|
来源：http://admission.ucas.ac.cn/info/ZhaoshengDanweiDetail/9e780c52-baf5-4020-b453-bc4510579559/8015012020
免责声明：本文内容仅供个人研究、交流学习使用，不涉及商业盈利目的。如涉及版权等问题，请通知本站客服（电话：400-900-8858，QQ：4009008858），本站将立即更改或删除。
（责任编辑：wq）