
 软件研究所
软件研究所中国科学院软件研究所(以下简称软件所)成立于1985年,是一所致力于计算机科学理论和软件高新技术研究与发展的综合性基地型研究所。 软件所有软件基础研究部、软件高技术研究部、软件应用研究部和软件发展研究部等四个研究部、总体部以及协同创新中心,集中了一批学术造诣深厚、享誉国内外的科学家,拥有一支高素质、高水平的青年科技人才队伍。软件所现有在职职工1390人,包括中国科学院院士4人、发展中国家科学院院士1人,正高级专业技术人员84人、副高级专业技术人员195人。国家杰出青年科学基金获得者3人,国家优秀青年科学基金获得者5人。 软件所有计算机科学与技术、软件工程、网络空间安全3个一级学科博士研究生培养点、电子信息技术专业(计算机技术领域)博士学位培养点和电子信息专业硕士学位培养点,共有在学研究生666人(其中博士生279人、硕士生387人)。并设有计算机科学与技术、软件工程2个一级学科博士后科研工作流动站,有在站博士后35人。 软件所具有良好的研究生培养条件。2026年预计招收硕士研究生115名(含代南京学院招生11名),招收博士生50名(含代杭高院招收1名)。最终招生总人数以正式下达的招生计划文件为准,招收推免生和直博生人数以最后推免生系统确认的录取人数为准. 软件所网址:http://www.iscas.ac.cn 电子邮箱:likai21@iscas.ac.cn
| 单位代码 | 80150 | 单位地址 | 北京市中关村南四街4号 | 邮政编码 | 100190 | 
| 联系部门 | 研究生部 | 联系电话 | 010-62661032 | 联系人 | 李锎 | 
| 电子邮件 | zhanghuan@iscas.ac.cn | 目录类别 | 直博生 | ||
| 网址 | http://www.iscas.ac.cn | ||||
| 学科、专业名称(代码)研究方向 | 指导教师 | 预计招生 | 备注 | 
| 081200 计算机科学与技术 | 9 | ||
| 01 (全日制)量子计算与形式化方法 | 
                                            周立
                                            
                                         | 招收直博生 | |
| 02 (全日制)软件分析与测试、自动推理 | 
                                            张健
                                            
                                         | 招收直博生 | |
| 03 (全日制)约束求解与EDA | 
                                            蔡少伟
                                            
                                         | 招直博生或连读生 | |
| 04 (全日制)基础软件分析与验证,操作系统 | 
                                            吴志林
                                            
                                         | 招直博生或连读生 | |
| 04 (全日制)基础软件分析与验证,操作系统 | 
                                            宋富
                                            
                                         | ||
| 05 (全日制)计算机图形学与智能计算 | 
                                            王文成
                                            
                                         | 招统考生或连读生 | |
| 05 (全日制)计算机图形学与智能计算 | 
                                            侯飞
                                            
                                         | ||
| 06 (全日制)智能控制系统形式设计及验证,安全强化学习 | 
                                            薛白
                                            
                                         | 招直博生或连读生 | |
| 07 (全日制)软件测试,软件安全,自动推理 | 
                                            张健
                                            
                                         | 代杭高院招生 | |
| 08 (全日制)并行算法与软件 | 
                                            李会元
                                            
                                         | ||
| 08 (全日制)并行算法与软件 | 
                                            马菲菲
                                            
                                         | ||
| 09 (全日制)高性能计算 | 
                                            曹建文
                                            
                                         | ||
| 09 (全日制)高性能计算 | 
                                            刘芳芳
                                            
                                         | ||
| 10 (全日制)大模型、自然语言处理 | 
                                            孙乐
                                            
                                         | ||
| 10 (全日制)大模型、自然语言处理 | 
                                            韩先培
                                            
                                         | ||
| 11 (全日制)人机交互,实时智能 | 
                                            王宏安
                                            
                                         | 招直博生、连读生或统考生 | |
| 11 (全日制)人机交互,实时智能 | 
                                            田丰
                                            
                                         | ||
| 11 (全日制)人机交互,实时智能 | 
                                            乔颖
                                            
                                         | ||
| 11 (全日制)人机交互,实时智能 | 
                                            韩腾
                                            
                                         | ||
| 12 (全日制)智能信息处理 | 
                                            徐帆江
                                            
                                         | ||
| 13 (全日制)智能软件技术 | 
                                            安杰
                                            
                                         | ||
| 083500 软件工程 | 14 | ||
| 01 (全日制)多智能体系统分析与测试 | 
                                            蔡彦
                                            
                                         | 招收直博生 | |
| 02 (全日制)开放环境下的可信智能系统设计 | 
                                            张立军
                                            
                                         | 招收直博生或连读生 | |
| 03 (全日制)基础软件分析与验证,操作系统 | 
                                            陈海明
                                            
                                         | 招收直博生或连读生 | |
| 03 (全日制)基础软件分析与验证,操作系统 | 
                                            吴志林
                                            
                                         | ||
| 03 (全日制)基础软件分析与验证,操作系统 | 
                                            宋富
                                            
                                         | ||
| 04 (全日制)计算机图形学与空间感知 | 
                                            王文成
                                            
                                         | 招收直博生或连读生 | |
| 05 (全日制)量子软件 | 
                                            官极
                                            
                                         | 招收直博生或连读生 | |
| 06 (全日制)软件安全 | 
                                            苏璞睿
                                            
                                         | 招直博生、连读生或统考生 | |
| 06 (全日制)软件安全 | 
                                            和亮
                                            
                                         | ||
| 07 (全日制)大模型、自然语言处理 | 
                                            孙乐
                                            
                                         | ||
| 07 (全日制)大模型、自然语言处理 | 
                                            韩先培
                                            
                                         | ||
| 08 (全日制)新型操作系统和系统安全 | 
                                            李明树
                                            
                                         | ||
| 08 (全日制)新型操作系统和系统安全 | 
                                            杨秋松
                                            
                                         | ||
| 09 (全日制)用户界面技术 | 
                                            王宏安
                                            
                                         | 招直博生、连读生或统考生 | |
| 09 (全日制)用户界面技术 | 
                                            田丰
                                            
                                         | ||
| 09 (全日制)用户界面技术 | 
                                            马翠霞
                                            
                                         | ||
| 09 (全日制)用户界面技术 | 
                                            陈辉
                                            
                                         | ||
| 09 (全日制)用户界面技术 | 
                                            邓小明
                                            
                                         | ||
| 09 (全日制)用户界面技术 | 
                                            张常有
                                            
                                         | ||
| 09 (全日制)用户界面技术 | 
                                            何小伟
                                            
                                         | ||
| 09 (全日制)用户界面技术 | 
                                            黄进
                                            
                                         | ||
| 10 (全日制)智能软件工程 | 
                                            王青
                                            
                                         | 招直博生、连读生或统考生 | |
| 10 (全日制)智能软件工程 | 
                                            王俊杰
                                            
                                         | ||
| 11 (全日制)大模型安全 | 
                                            王青
                                            
                                         | 招直博生、连读生或统考生 | |
| 11 (全日制)大模型安全 | 
                                            王俊杰
                                            
                                         | ||
| 12 (全日制)分布式软件理论与技术 | 
                                            钟华
                                            
                                         | ||
| 12 (全日制)分布式软件理论与技术 | 
                                            魏峻
                                            
                                         | ||
| 12 (全日制)分布式软件理论与技术 | 
                                            叶丹
                                            
                                         | ||
| 12 (全日制)分布式软件理论与技术 | 
                                            黄涛
                                            
                                         | ||
| 12 (全日制)分布式软件理论与技术 | 
                                            严俊
                                            
                                         | ||
| 12 (全日制)分布式软件理论与技术 | 
                                            张文博
                                            
                                         | ||
| 12 (全日制)分布式软件理论与技术 | 
                                            陈伟
                                            
                                         | ||
| 12 (全日制)分布式软件理论与技术 | 
                                            吴国全
                                            
                                         | ||
| 12 (全日制)分布式软件理论与技术 | 
                                            王伟
                                            
                                         | ||
| 12 (全日制)分布式软件理论与技术 | 
                                            窦文生
                                            
                                         | ||
| 13 (全日制)大数据与智能信息处理 | 
                                            郑昌文
                                            
                                         | ||
| 13 (全日制)大数据与智能信息处理 | 
                                            吴玉泉
                                            
                                         | ||
| 14 (全日制)可视分析与数据智能 | 
                                            张凤军
                                            
                                         | 招连读生或统考生 | |
| 15 (全日制)智能化软件系统工程 | 
                                            左春
                                            
                                         | 招连读生或统考生 | |
| 16 (全日制)数据库与大数据 | 
                                            丁治明
                                            
                                         | 招连读生或统考生 | |
| 17 (全日制)编程语言与编译技术 | 
                                            赵琛
                                            
                                         | ||
| 17 (全日制)编程语言与编译技术 | 
                                            武延军
                                            
                                         | ||
| 18 (全日制)操作系统 | 
                                            武延军
                                            
                                         | ||
| 18 (全日制)操作系统 | 
                                            吴敬征
                                            
                                         | ||
| 18 (全日制)操作系统 | 
                                            李玲
                                            
                                         | ||
| 19 (全日制)智能基础理论与系统 | 
                                            张立波
                                            
                                         | ||
| 20 (全日制)智能计算 | 
                                            李玲
                                            
                                         | ||
| 083900 网络空间安全 | 1 | ||
| 01 (全日制)密码学与安全协议 | 
                                            徐静
                                            
                                         | 招直博生、连读生或统考生 | |
| 01 (全日制)密码学与安全协议 | 
                                            张振峰
                                            
                                         | ||
| 01 (全日制)密码学与安全协议 | 
                                            张斌
                                            
                                         | ||
| 02 (全日制)网络与系统安全 | 
                                            陈华
                                            
                                         | 招直博生、连读生或统考生 | |
| 085404 计算机技术 | 1 | ||
| 01 (全日制)网络与系统安全 | 
                                            秦宇
                                            
                                         | 招直博生、连读生或统考生 | |
| 02 (全日制)分布式软件系统工程 | 
                                            黄涛
                                            
                                         | ||
| 02 (全日制)分布式软件系统工程 | 
                                            刘杰
                                            
                                         | ||
| 03 (全日制)可视分析与数据智能 | 
                                            张凤军
                                            
                                         | 招连读生或统考生 | |
| 04 (全日制)智能化软件系统工程 | 
                                            左春
                                            
                                         | 招连读生或统考生 |