
 软件研究所
软件研究所中国科学院软件研究所(以下简称软件所)成立于1985年,是一所致力于计算机科学理论和软件高新技术研究与发展的综合性基地型研究所。 软件所有软件基础研究部、软件高技术研究部、软件应用研究部和软件发展研究部等四个研究部、总体部以及协同创新中心,集中了一批学术造诣深厚、享誉国内外的科学家,拥有一支高素质、高水平的青年科技人才队伍。软件所现有在职职工1073人,其中科技人员903人、管理支撑人员75人,包括中国科学院院士4人、发展中国家科学院院士1人,正高级专业技术人员80人、副高级专业技术人员173人。国家杰出青年科学基金获得者5人,国家优秀青年科学基金获得者3人。 软件所现有计算机科学与技术、软件工程、网络空间安全三个一级学科硕士、博士研究生培养点和电子信息全日制专业学位硕士研究生培养点。现在学研究生667人,其中硕士生394人,博士生273人,在站博士后43人。 软件所具有良好的研究生培养条件。2024年预计招收博士研究生53人(含代杭高院招收2人,与高校联合培养科研博士18人),其中直博生22人左右,普博和硕博连读生31人左右。最终招生人数以正式下达的招生计划文件为准,招收推免生人数以最后推免系统确认的录取人数为准。
| 单位代码 | 80150 | 单位地址 | 北京市中关村南四街4号 | 邮政编码 | 100190 | 
| 联系部门 | 研究生部 | 联系电话 | 010-62661032 | 联系人 | 李锎 | 
| 电子邮件 | huiwen@iscas.ac.cn | 目录类别 | 博士 | ||
| 网址 | |||||
| 学科、专业名称(代码)研究方向 | 指导教师 | 预计招生 | 考试科目 | 备注 | 
| 081200 计算机科学与技术 | 20 | |||
| 01 (全日制)智能控制系统形式设计及验证 | 
                                            薛白
                                            
                                         | ①申请-考核制外国语②算法设计与分析③申请-考核制业务课二 | 优先招收直博生或连读生 | |
| 02 (全日制)信息物理融合系统设计理论 | 
                                            詹乃军
                                            
                                         | 同上 | 只招直博生或连读生 | |
| 03 (全日制)可信智能系统 | 
                                            吴志林
                                            
                                         | 同上 | 招收连读生或统考生 | |
| 04 (全日制)软件设计与分析方法,新型计算模型与应用 | 
                                            陈海明
                                            
                                         | 同上 | 优先招收直博生或连读生 | |
| 05 (全日制)量子软件 | 
                                            应明生
                                            
                                         | 同上 | 优先招收直博生或连读生 | |
| 06 (全日制)约束求解与eda算法 | 
                                            蔡少伟
                                            
                                         | 同上 | 招收直博生、连读生或统考生 | |
| 07 (全日制)软件分析与测试、自动推理 | 
                                            张健
                                            
                                         | 同上 | 优先招收直博生 | |
| 08 (全日制)并行算法与软件 | 
                                            李会元
                                            
                                         | ①申请-考核制外国语②计算机数学基础③申请-考核制业务课二 | 优先招收直博生 | |
| 08 (全日制)并行算法与软件 | 
                                            曹建文
                                            
                                         | 同上 | 优先招收直博生 | |
| 08 (全日制)并行算法与软件 | 
                                            张常有
                                            
                                         | 同上 | 优先招收直博生 | |
| 09 (全日制)自然语言理解 | 
                                            孙乐
                                            
                                         | ①申请-考核制外国语②算法设计与分析③申请-考核制业务课二 | 优先招收直博生或连读生 | |
| 09 (全日制)自然语言理解 | 
                                            韩先培
                                            
                                         | 同上 | 优先招收直博生或连读生 | |
| 10 (全日制)人机交互,实时智能 | 
                                            韩腾
                                            
                                         | 同上 | 优先招收连读生 | |
| 10 (全日制)人机交互,实时智能 | 
                                            王宏安
                                            
                                         | 同上 | 优先招收连读生 | |
| 10 (全日制)人机交互,实时智能 | 
                                            田丰
                                            
                                         | 同上 | 优先招收连读生 | |
| 10 (全日制)人机交互,实时智能 | 
                                            乔颖
                                            
                                         | 同上 | 优先招收连读生 | |
| 11 (全日制)网络分布计算理论与技术 | 
                                            黄涛
                                            
                                         | ①申请-考核制外国语②软件工程基础③申请-考核制业务课二 | 优先招收连读生 | |
| 11 (全日制)网络分布计算理论与技术 | 
                                            金蓓弘
                                            
                                         | 同上 | 优先招收连读生 | |
| 11 (全日制)网络分布计算理论与技术 | 
                                            王伟
                                            
                                         | 同上 | 优先招收连读生 | |
| 12 (全日制)智能信息处理 | 
                                            徐帆江
                                            
                                         | ①申请-考核制外国语②算法设计与分析③申请-考核制业务课二 | 优先招收直博生 | |
| 13 (全日制)软件测试,软件安全,自动推理 | 
                                            张健
                                            
                                         | 同上 | 代杭高院招生,优先招收连读生 | |
| 14 (全日制)智能软件 | 
                                            李玲
                                            
                                         | ①申请-考核制外国语②软件工程基础③申请-考核制业务课二 | 代杭高院招生,优先招收连读生 | |
| 14 (全日制)智能软件 | 
                                            武延军
                                            
                                         | 同上 | 代杭高院招生,优先招收连读生 | |
| 14 (全日制)智能软件 | 
                                            吴敬征
                                            
                                         | 同上 | 代杭高院招生,优先招收连读生 | |
| 15 (全日制)“少干”人机交互 | 
                                            马翠霞
                                            
                                         | ①英语一②算法设计与分析③计算机综合 | 少干计划,招统考生 | |
| 083500 软件工程 | 26 | |||
| 01 (全日制)虚拟现实技术与系统 | 
                                            王文成
                                            
                                         | ①申请-考核制外国语②算法设计与分析③申请-考核制业务课二 | 招直博生、连读生或统考生 | |
| 02 (全日制)程序分析与测试、软件安全 | 
                                            蔡彦
                                            
                                         | ①申请-考核制外国语②软件工程基础③申请-考核制业务课二 | 优先招收直博生 | |
| 03 (全日制)可信智能系统 | 
                                            张立军
                                            
                                         | ①申请-考核制外国语②算法设计与分析③申请-考核制业务课二 | 优先招收直博生 | |
| 04 (全日制)约束求解与软件验证 | 
                                            蔡少伟
                                            
                                         | 同上 | 优先招收直博生 | |
| 05 (全日制)软件安全 | 
                                            苏璞睿
                                            
                                         | ①申请-考核制外国语②软件工程基础③申请-考核制业务课二 | 招直博生、连读生或统考生 | |
| 06 (全日制)自然语言理解 | 
                                            孙乐
                                            
                                         | ①申请-考核制外国语②算法设计与分析③申请-考核制业务课二 | 优先招直博生 | |
| 06 (全日制)自然语言理解 | 
                                            韩先培
                                            
                                         | 同上 | 优先招直博生 | |
| 07 (全日制)新型操作系统和系统安全 | 
                                            李明树
                                            
                                         | 同上 | 优先接收直博生或硕博连读生 | |
| 07 (全日制)新型操作系统和系统安全 | 
                                            杨秋松
                                            
                                         | 同上 | 优先接收直博生或硕博连读生 | |
| 08 (全日制)用户界面技术 | 
                                            王宏安
                                            
                                         | ①申请-考核制外国语②软件工程基础③申请-考核制业务课二 | 优先招连读生 | |
| 08 (全日制)用户界面技术 | 
                                            马翠霞
                                            
                                         | 同上 | 优先招连读生 | |
| 08 (全日制)用户界面技术 | 
                                            邓小明
                                            
                                         | 同上 | 优先招连读生 | |
| 09 (全日制)软件知识工程 | 
                                            王青
                                            
                                         | ①申请-考核制外国语②算法设计与分析③申请-考核制业务课二 | 优先直博生 | |
| 09 (全日制)软件知识工程 | 
                                            王俊杰
                                            
                                         | 同上 | 优先直博生 | |
| 10 (全日制)分布式软件理论与技术 | 
                                            吴国全
                                            
                                         | ①申请-考核制外国语②软件工程基础③申请-考核制业务课二 | 优先招直博生、连读生 | |
| 10 (全日制)分布式软件理论与技术 | 
                                            钟华
                                            
                                         | 同上 | 优先招直博生、连读生 | |
| 10 (全日制)分布式软件理论与技术 | 
                                            黄涛
                                            
                                         | 同上 | 优先招直博生、连读生 | |
| 10 (全日制)分布式软件理论与技术 | 
                                            魏峻
                                            
                                         | 同上 | 优先招直博生、连读生 | |
| 10 (全日制)分布式软件理论与技术 | 
                                            叶丹
                                            
                                         | 同上 | 优先招直博生、连读生 | |
| 10 (全日制)分布式软件理论与技术 | 
                                            严俊
                                            
                                         | 同上 | 优先招直博生、连读生 | |
| 10 (全日制)分布式软件理论与技术 | 
                                            张文博
                                            
                                         | 同上 | 优先招直博生、连读生 | |
| 10 (全日制)分布式软件理论与技术 | 
                                            窦文生
                                            
                                         | 同上 | 优先招直博生、连读生 | |
| 11 (全日制)大数据与智能信息处理 | 
                                            吴玉泉
                                            
                                         | ①申请-考核制外国语②算法设计与分析③申请-考核制业务课二 | 招直博生、统考生 | |
| 11 (全日制)大数据与智能信息处理 | 
                                            郑昌文
                                            
                                         | 同上 | 招直博生、统考生 | |
| 12 (全日制)可视分析与数据智能 | 
                                            张凤军
                                            
                                         | 同上 | 招连读生或统考生 | |
| 13 (全日制)智能化软件系统工程 | 
                                            左春
                                            
                                         | 同上 | 招连读生或统考生 | |
| 14 (全日制)编程语言与编译技术 | 
                                            赵琛
                                            
                                         | 同上 | 招连读生或统考生 | |
| 14 (全日制)编程语言与编译技术 | 
                                            武延军
                                            
                                         | 同上 | 招连读生或统考生 | |
| 15 (全日制)操作系统 | 
                                            李玲
                                            
                                         | ①申请-考核制外国语②软件工程基础③申请-考核制业务课二 | 招连读生或统考生 | |
| 15 (全日制)操作系统 | 
                                            武延军
                                            
                                         | 同上 | 招连读生或统考生 | |
| 15 (全日制)操作系统 | 
                                            吴敬征
                                            
                                         | 同上 | 招连读生或统考生 | |
| 083900 网络空间安全 | 4 | |||
| 01 (全日制)密码学与安全协议 | 
                                            吴文玲
                                            
                                         | ①申请-考核制外国语②密码学③申请-考核制业务课二 | 招直博生、连读生或统考生 | |
| 01 (全日制)密码学与安全协议 | 
                                            张振峰
                                            
                                         | 同上 | 招直博生、连读生或统考生 | |
| 01 (全日制)密码学与安全协议 | 
                                            张斌
                                            
                                         | 同上 | 招直博生、连读生或统考生 | |
| 01 (全日制)密码学与安全协议 | 
                                            徐静
                                            
                                         | 同上 | 招直博生、连读生或统考生 | |
| 02 (全日制)网络与系统安全 | 
                                            陈华
                                            
                                         | ①申请-考核制外国语②算法设计与分析③申请-考核制业务课二 | 招连读生或统考生 | |
| 02 (全日制)网络与系统安全 | 
                                            冯登国
                                            
                                         | 同上 | 招连读生或统考生 | |
| 085404 计算机技术 | 3 | |||
| 01 (全日制)分布式软件系统工程、智能化软件系统工程 | 
                                            黄涛
                                            
                                         | ①申请-考核制外国语②软件工程基础③申请-考核制业务课二 | 招连读生或统考生 | |
| 01 (全日制)分布式软件系统工程、智能化软件系统工程 | 
                                            左春
                                            
                                         | 同上 | 招连读生或统考生 | |
| 02 (全日制)网络空间安全、系统安全、供应链安全 | 
                                            张振峰
                                            
                                         | ①申请-考核制外国语②算法设计与分析③申请-考核制业务课二 | 招连读生或统考生 | |
| 02 (全日制)网络空间安全、系统安全、供应链安全 | 
                                            苏璞睿
                                            
                                         | 同上 | 招连读生或统考生 | |
| 02 (全日制)网络空间安全、系统安全、供应链安全 | 
                                            吴敬征
                                            
                                         | 同上 | 招连读生或统考生 | |
| 03 (全日制)工业数据智能、可信智能算法、复杂网络系统 | 
                                            王宏安
                                            
                                         | ①申请-考核制外国语②软件工程基础③申请-考核制业务课二 | 招统考生 | |
| 03 (全日制)工业数据智能、可信智能算法、复杂网络系统 | 
                                            张立军
                                            
                                         | 同上 | 招统考生 | |
| 03 (全日制)工业数据智能、可信智能算法、复杂网络系统 | 
                                            刘立祥
                                            
                                         | 同上 | 招统考生 |