中国科学院软件研究所2014年硕士招生专业目录
单位代码:80001院系所代码:150单位地址:北京市中关村南四街4号邮政编码:100190
联系部门:研究生部电话:010-62561196联系人:李老师王老师邮件地址:yjs@iscas.ac.cn
工学硕士 | |||||
学科 专业 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 生人数 | 考试科目代码及名称 |
计算机软件与理论(081202) | 计算机科学国家重点实验室 | 01.网络与并发实时系统的设计与分析 | 林惠民 焦莉 李广元 吕毅 吴鹏 | 36 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 |
02.概率并发系统的建模与检验 | 张立军 | ||||
03.多核并发系统的设计与验证 | 张昱 | ||||
04.并发理论和形式化方法 | 柳欣欣 | ||||
05.硬件系统的形式化验证 | 李勇坚 | ||||
06.软件设计、分析与验证 | 陈海明 杨绍发 吴志林 | ||||
07.数据挖掘与语义web | 沈一栋 | ||||
08.自动推理与约束求解 | 张健 | ||||
09.信息物理融合系统CPS | 詹乃军 | ||||
10.网络算法及其应用 | 李昂生 | ||||
并行软件与计算科学实验室 | 11.并行算法与并行软件 | 李玉成 龙国平 马菲菲 张常有 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||
12.数值并行计算 | 曹建文 李会元 徐进 | ||||
基础 软件 国家 工程 研究 中心 | 13.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用 | 李明树 丁治明 武延军 芮建武 淮晓永 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||
14.程序语言设计与编译技术,软件测试方法和工具 | 赵琛 薛云志 刘剑 | ||||
15.系统安全、可信计算与数字取证 | 贺也平 王永吉 丁丽萍 陆迤 | ||||
16.文本信息处理与信息检索 | 吴健 孙乐 李文波 韩先培 马龙龙 |
学科 专业 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 生人数 | 考试科目代码及名称 |
计算机软件与理论(081202) | 互联 网软 件技 术实 验室 | 17.软件知识工程 | 王青 张文 钟浩 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |
软件工程技术研究开发中心 | 18.网络分布计算理论与技术 | 黄涛 魏峻 钟华 金蓓弘 张文博 吴国全 王伟 严俊 叶春扬 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||
计算机应用技术(081203) | 计算 机科 学国 家重 点实 验室 | 01.计算机图形学 | 吴恩华 王文成 陈彦云 刘学慧 | 30 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 |
02.信息可视化、可视分析 | 时磊 | ||||
可信计算与信息保障实验室 | 03.可信计算与信息保障 | 冯登国 吴文玲 张振峰 苏璞睿 连一峰 张阳 张敏 陈华 张立武 张斌 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||
人机 交互 技术 与智 能信息处理实验室 | 04.人机交互,实时智能 | 王宏安 田 丰 王丹力 张凤军 滕东兴 马翠霞 陈 辉 邓小明 乔 颖 王永炎 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||
综合信息系统技术国家级重点实验室 | 05.信息处理与集成 | 胡晓惠 郑昌文 王浩 吴凤鸽 徐帆江 赵军锁 吕品 窦竹梅 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||
06.网络技术及应用 | 刘立祥 马恒太 邓 勇 |
学科 专业 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 生人数 | 考试科目代码及名称 | |||
软件工程(0835) | 计算 机科 学国 家重 点实 验室 | 01.程序分析与软件测试 | 张健 张震宇 | 13 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |||
互联 网软 件技 术实 验室 | 02.软件过程方法与技术 | 李明树 王青 李娟 杨秋松 杨达 肖俊超 | ||||||
软件工程技术研究开发中心 | 03.分布式软件理论与技术 | 黄涛 钟华 魏峻 金蓓弘 叶丹 徐罡 许舒人 乔晓强 | ||||||
工程硕士 | ||||||||
学科 专业 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 生人数 | 考试科目代码及名称 | |||
计算机技术(085211) | 计算机科学国家重点实验室 | 01.软件设计、验证及测试的方法与技术 | 李广元 吕毅 吴鹏 吴志林 张震宇 杨绍发 | 9 | ||||
02.虚拟现实与可视化技术 | 王文成 刘学慧 时磊 | |||||||
可信计算与信息保障实验室 | 03.可信计算与信息保障 | 苏璞睿 连一峰 张阳 张敏 陈华 张立武 | ||||||
并行软件与计算科学实验室 | 04.并行软件设计与实现 | 杨超 王婷 |
学科 专业 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 生人数 | 考试科目代码及名称 |
计算机技术(085211) | 人机 交互 技术 与智 能信息处理实验室 | 05.交互式系统设计与开发 | 王宏安 田丰 王丹力 | 101.思想政治理论 204.英语二 302.数学二 408.计算机学科专业基础综合 | |
综合信息系统技术国家级重点实验室 | 06.信息与数字工程 | 张金芳 彭启民 | |||
软件工程(085212) | 互联 网软 件技 术实 验室 | 01.软件过程技术及应用 | 肖俊超 | 4 | 101.思想政治理论 204.英语二 302.数学二 408.计算机学科专业基础综合 |
软件工程技术研究开发中心 | 02.分布式软件系统工程 | *左春 范国闯 张波 许舒人 | |||
03.中间件技术与系统 | |||||
备注 | 1、所列计划为预计招生人数,实际招生计划以国家下达的为准; 2、标有*号的导师为软件所兼职导师; 3、招生计划的70%左右用于接收推荐免试生; 4、10月25日左右将在软件所网页上的招生目录中标注各部门接受推免生情况; 5、计算机软件与理论专业可以从推免生中接收直接攻读博士学位研究生(即直博生)。 |
中国科学院软件研究所14年招收攻读硕士学位研究生简章
【中国科学院软件研究所2014年硕士招生专业目录】相关文章:
★ 中国科学院兰州地质研究所2006年硕士研究生招生专业目录
- 2020-02-08【专业目录】2020年重庆大学公共管理学院硕士招生专业目录
- 2020-02-06【专业目录】2020年北京交通大学硕士研究生招生专业目录及初试科目
- 2020-01-10【专业目录】2019年东北大学机器人科学与工程学院硕士研究生招生专业目录(含初试自命题科目大纲)
- 2020-01-10【专业目录】2019年东北大学秦皇岛分校硕士研究生招生专业目录(含初试自命题科目大纲)
- 2020-01-10【专业目录】2019年东北大学冶金学院硕士研究生招生专业目录(含初试自命题科目大纲)
- 2020-01-10【专业目录】2019年东北大学马克思主义学院硕士研究生招生专业目录(含初试自命题科目大纲)
网友关注
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比