中国科学院软件研究所(以下简称软件所)成立于1985年,是一所致力于计算机科学理论和软件高新技术研究与发展的综合性基地型研究所。 软件所有软件基础研究部、软件高技术研究部、软件应用研究部和软件发展研究部等四个研究部、总体部以及协同创新中心,集中了一批学术造诣深厚、享誉国内外的科学家,拥有一支高素质、高水平的青年科技人才队伍。研究所现有正式职工701人,其中中国科学院院士3名,第三世界科学院院士1名,研究员及正高级工程师72名,副研究员及高级工程师130名。国家杰出青年科学基金获得者5人,国家优秀青年基金获得者1人,中科院“ZZIA”入选者10人,“青年YYIA”入选者1人。全所在职职工平均年龄36岁。 软件所现有计算机科学与技术、软件工程(0835)、网络空间安全三个一级学科硕士、博士研究生培养点和软件工程全日制专业学位硕士研究生培养点。现在学研究生521人,其中硕士生289人,博士生229人,留学生3人。 软件所具有良好的研究生培养条件。2021年预计招收硕士研究生97人,其中推荐免试研究生占75%左右。最终招生人数以正式下达的招生计划文件为准,招收推免生人数以最后推免系统确认的录取人数为准。 软件所网址:http://www.iscas.ac.cn 电子邮箱:shihao@iscas.ac.cn
单位代码 | 80150 | 单位地址 | 北京市中关村南四街4号 | 邮政编码 | 100190 |
联系部门 | 研究生部 | 联系电话 | 010-62661032 | 联系人 | 汤诗豪 |
电子邮件 | shihao@iscas.ac.cn | 目录类别 | 硕士 | ||
网址 | http://www.iscas.ac.cn |
学科、专业名称(代码)研究方向 | 指导教师 | 预计招生 | 考试科目 | 备注 |
081200 计算机科学与技术 | 6 | |||
01 (全日制)计算机图形学与虚拟现实 | 王文成 | ①101思想政治理论②201英语一③301数学一④408计算机学科专业基础综合 | ||
侯飞 | 同上 | |||
02 (全日制)软件分析与验证 | 李勇坚 | 同上 | ||
吴志林 | 同上 | |||
张立军 | 同上 | |||
詹博华 | 同上 | |||
03 (全日制)约束求解与组合优化 | 蔡少伟 | 同上 | ||
04 (全日制)软件设计与分析方法,新型计算模型与应用 | 陈海明 | 同上 | ||
05 (全日制)量子软件理论 | 应圣钢 | 同上 | ||
06 (全日制)信息论,逻辑学与复杂性 | Georgios Barmpalias | 同上 | ||
07 (全日制)混成系统及AI系统的形式化验证 | 詹乃军 | 同上 | ||
薛白 | 同上 | |||
王淑灵 | 同上 | |||
08 (全日制)数据挖掘与人工智能 | 沈一栋 | 同上 | ||
09 (全日制)并行算法与并行软件 | 李玉成 | 同上 | ||
马文静 | 同上 | |||
10 (全日制)自然语言理解 | 孙乐 | 同上 | ||
11 (全日制)新型操作系统及系统安全 | 李明树 | 同上 | ||
贺也平 | 同上 | |||
翟健 | 同上 | |||
12 (全日制)软硬件深度融合 | 杨秋松 | 同上 | ||
马越 | 同上 | |||
13 (全日制)人机交互,实时智能 | 王宏安 | 同上 | ||
田丰 | 同上 | |||
乔颖 | 同上 | |||
陈辉 | 同上 | |||
范向民 | 同上 | |||
韩腾 | 同上 | |||
14 (全日制)网络分布计算理论与技术 | 金蓓弘 | 同上 | ||
黄涛 | 同上 | |||
王伟 | 同上 | |||
刘杰 | 同上 | |||
张扶桑 | 同上 | |||
15 (全日制)智能信息处理 | 徐帆江 | 同上 | ||
吴凤鸽 | 同上 | |||
16 (全日制)网络技术及应用 | 刘立祥 | 同上 | ||
083500 软件工程 | 8 | |||
01 (全日制)嵌入式/分布式系统分析、设计与优化 | 朱雪阳 | ①101思想政治理论②201英语一③301数学一④408计算机学科专业基础综合 | ||
02 (全日制)程序分析与测试、软件安全 | 蔡彦 | 同上 | ||
03 (全日制)软件测试,自动推理 | 张健 | 同上 | ||
04 (全日制)系统软件验证,智能软件分析与测试 | 吴鹏 | 同上 | ||
05 (全日制)软件安全 | 苏璞睿 | 同上 | ||
范丽敏 | 同上 | |||
闫佳 | 同上 | |||
06 (全日制)高性能计算 | 张常有 | 同上 | ||
陈峰 | 同上 | |||
刘芳芳 | 同上 | |||
吴长茂 | 同上 | |||
07 (全日制)自然语言处理 | 马龙龙 | 同上 | ||
韩先培 | 同上 | |||
08 (全日制)软件分析与系统安全 | 李明树 | 同上 | ||
贺也平 | 同上 | |||
马恒太 | 同上 | |||
陶秋铭 | 同上 | |||
09 (全日制)用户界面技术 | 王宏安 | 同上 | ||
马翠霞 | 同上 | |||
朱嘉奇 | 同上 | |||
何小伟 | 同上 | |||
10 (全日制)智能软件工程1 | 王俊杰 | 同上 | ||
11 (全日制)智能需求工程 | 石琳 | 同上 | ||
12 (全日制)分布式软件理论与技术 | 钟华 | 同上 | ||
魏峻 | 同上 | |||
叶丹 | 同上 | |||
黄涛 | 同上 | |||
严俊 | 同上 | |||
张文博 | 同上 | |||
陈伟 | 同上 | |||
吴国全 | 同上 | |||
许利杰 | 同上 | |||
窦文生 | 同上 | |||
王焘 | 同上 | |||
13 (全日制)大数据与智能信息处理 | 郑昌文 | 同上 | ||
胡晓惠 | 同上 | |||
赵军锁 | 同上 | |||
14 (全日制)数据可视化与智能用户界面 | 张凤军 | 同上 | ||
15 (全日制)智能软件工程2 | 杨立 | 同上 | ||
16 (全日制)大数据与人工智能 | 王永吉 | 同上 | ||
17 (全日制)智能基础理论与系统 | 赵琛 | 同上 | ||
张立波 | 同上 | |||
18 (全日制)操作系统 | 武延军 | 同上 | ||
李玲 | 同上 | |||
19 (全日制)智能软件安全 | 薛云志 | 同上 | ||
吴敬征 | 同上 | |||
20 (全日制)时空数据管理与数据科学 | 丁治明 | 同上 | ||
083900 网络空间安全 | 2 | |||
01 (全日制)密码学与安全协议 | 吴文玲 | ①101思想政治理论②201英语一③301数学一④408计算机学科专业基础综合 | ||
徐静 | 同上 | |||
张振峰 | 同上 | |||
张斌 | 同上 | |||
张蕾 | 同上 | |||
02 (全日制)网络与系统安全 | 苏璞睿 | 同上 | ||
连一峰 | 同上 | |||
张敏 | 同上 | |||
陈华 | 同上 | |||
张阳 | 同上 | |||
085400 电子信息 | 6 | |||
01 (全日制)软件分析与验证 | 张立军 | ①101思想政治理论②204英语二③302数学二④408计算机学科专业基础综合 | ||
02 (全日制)图像分析与可视化 | 王文成 | 同上 | ||
03 (全日制)软件设计与分析方法 | 陈海明 | 同上 | ||
04 (全日制)软件测试,自动推理 | 张健 | 同上 | ||
05 (全日制)软件安全与信息保障 | 张立武 | 同上 | ||
秦宇 | 同上 | |||
程亮 | 同上 | |||
和亮 | 同上 | |||
06 (全日制)并行计算 | 李会元 | 同上 | ||
07 (全日制)基础软件与应用 | 芮建武 | 同上 | ||
李文波 | 同上 | |||
08 (全日制)交互式系统设计与开发 | 邓小明 | 同上 | ||
刘杰 | 同上 | |||
09 (全日制)知识图谱与云计算 | 王青 | 同上 | ||
10 (全日制)分布式软件系统工程1 | 钟华 | 同上 | ||
吴恒 | 同上 | |||
11 (全日制)复杂系统软件 | 赵军锁 | 同上 | ||
周鑫 | 同上 | |||
12 (全日制)时空数据管理与数据科学 | 丁治明 | 同上 | ||
13 (全日制)分布式软件系统工程2 | 左春 | 同上 | ||
14 (全日制)编程语言与编译工具链 | 赵琛 | 同上 | ||
武延军 | 同上 | |||
15 (全日制)智能系统安全 | 薛云志 | 同上 | ||
吴敬征 | 同上 |