• 软件研究所

中国科学院软件研究所(以下简称软件所)成立于1985年,是一所致力于计算机科学理论和软件高新技术研究与发展的综合性基地型研究所。 软件所有软件基础研究部、软件高技术研究部、软件应用研究部和软件发展研究部等四个研究部、总体部以及协同创新中心,集中了一批学术造诣深厚、享誉国内外的科学家,拥有一支高素质、高水平的青年科技人才队伍。软件所现有在职职工1216人,其中科技人员977人、管理支撑人员82人,包括中国科学院院士4人、发展中国家科学院院士1人,正高级专业技术人员82人、副高级专业技术人员185人。国家杰出青年科学基金获得者5人,国家优秀青年科学基金获得者3人。 软件所现有计算机科学与技术、软件工程、网络空间安全三个一级学科硕士、博士研究生培养点和电子信息全日制专业学位硕士研究生培养点。现在学研究生634人,其中硕士生361人,博士生273人,在站博士后40人。 软件所具有良好的研究生培养条件。2025年预计招收博士研究生50人(含代杭高院招收1人,与高校联合培养科研博士18人),其中直博生29人左右,普博和硕博连读生21人左右。最终招生人数以正式下达的招生计划文件为准,招收推免生人数以最后推免系统确认的录取人数为准。

单位代码 80150 单位地址 北京市中关村南四街4号 邮政编码 100190
联系部门 研究生部 联系电话 010-62661032 联系人 李锎
电子邮件 huiwen@iscas.ac.cn 目录类别 博士
网址 http://www.iscas.ac.cn
学科、专业名称(代码)研究方向 指导教师 预计招生 考试科目 备注
081200 计算机科学与技术
16  
01 (全日制)量子密码学与形式化方法
周立
①申请-考核制外国语②计算机数学基础③申请-考核制业务课二
02 (全日制)软件分析与测试、自动推理
张健
①申请-考核制外国语②算法设计与分析③申请-考核制业务课二
03 (全日制)约束求解与EDA
蔡少伟
同上
04 (全日制)基础软件分析与验证,操作系统
陈海明
同上 只招直博生或连读生
04 (全日制)基础软件分析与验证,操作系统
吴志林
同上
04 (全日制)基础软件分析与验证,操作系统
宋富
同上
05 (全日制)计算机图形学与智能计算
吴恩华
同上
06 (全日制)软件测试,软件安全,自动推理
张健
同上 代杭高院招生
07 (全日制)高性能计算
刘芳芳
同上
08 (全日制)并行算法与软件
李会元
①申请-考核制外国语②计算机数学基础③申请-考核制业务课二
08 (全日制)并行算法与软件
曹建文
同上
09 (全日制)自然语言理解
孙乐
①申请-考核制外国语②算法设计与分析③申请-考核制业务课二
09 (全日制)自然语言理解
韩先培
同上
10 (全日制)人机交互,实时智能
王宏安
同上
10 (全日制)人机交互,实时智能
田丰
同上
10 (全日制)人机交互,实时智能
乔颖
同上
10 (全日制)人机交互,实时智能
韩腾
同上
11 (全日制)网络分布计算理论与技术
钟华
①申请-考核制外国语②软件工程基础③申请-考核制业务课二
11 (全日制)网络分布计算理论与技术
黄涛
同上
11 (全日制)网络分布计算理论与技术
王伟
同上
12 (全日制)智能信息处理
徐帆江
①申请-考核制外国语②算法设计与分析③申请-考核制业务课二
083500 软件工程
29  
01 (全日制)智能系统测试、软件分析
蔡彦
①申请-考核制外国语②软件工程基础③申请-考核制业务课二
02 (全日制)智能控制系统形式设计及验证
薛白
①申请-考核制外国语②计算机数学基础③申请-考核制业务课二
03 (全日制)开放环境下的可信智能系统设计
张立军
同上
04 (全日制)基础软件分析与验证,操作系统
陈海明
①申请-考核制外国语②算法设计与分析③申请-考核制业务课二
04 (全日制)基础软件分析与验证,操作系统
吴志林
同上
04 (全日制)基础软件分析与验证,操作系统
宋富
同上
05 (全日制)计算机图形学与空间感知
王文成
同上
06 (全日制)软件安全
苏璞睿
①申请-考核制外国语②软件工程基础③申请-考核制业务课二
06 (全日制)软件安全
和亮
同上
07 (全日制)大语言模型
孙乐
①申请-考核制外国语②算法设计与分析③申请-考核制业务课二
07 (全日制)大语言模型
韩先培
同上
08 (全日制)新型操作系统和系统安全
李明树
同上
08 (全日制)新型操作系统和系统安全
杨秋松
同上
09 (全日制)用户界面技术
田丰
①申请-考核制外国语②软件工程基础③申请-考核制业务课二
09 (全日制)用户界面技术
马翠霞
同上
09 (全日制)用户界面技术
陈辉
同上
09 (全日制)用户界面技术
邓小明
同上
09 (全日制)用户界面技术
张常有
同上
10 (全日制)智能软件工程
王青
①申请-考核制外国语②算法设计与分析③申请-考核制业务课二
10 (全日制)智能软件工程
王俊杰
同上
11 (全日制)知识服务与大模型
王青
同上
11 (全日制)知识服务与大模型
王俊杰
同上
12 (全日制)分布式软件理论与技术
魏峻
①申请-考核制外国语②软件工程基础③申请-考核制业务课二
12 (全日制)分布式软件理论与技术
叶丹
同上
12 (全日制)分布式软件理论与技术
黄涛
同上
12 (全日制)分布式软件理论与技术
严俊
同上
12 (全日制)分布式软件理论与技术
张文博
同上
12 (全日制)分布式软件理论与技术
陈伟
同上
12 (全日制)分布式软件理论与技术
吴国全
同上
12 (全日制)分布式软件理论与技术
窦文生
同上
13 (全日制)大数据与智能信息处理
郑昌文
①申请-考核制外国语②算法设计与分析③申请-考核制业务课二
13 (全日制)大数据与智能信息处理
吴玉泉
同上
14 (全日制)可视分析与数据智能
张凤军
同上
15 (全日制)智能化软件系统工程
左春
同上
16 (全日制)数据库与大数据
丁治明
同上
17 (全日制)编程语言与编译技术
赵琛
同上
17 (全日制)编程语言与编译技术
武延军
同上
18 (全日制)操作系统
武延军
①申请-考核制外国语②软件工程基础③申请-考核制业务课二
18 (全日制)操作系统
吴敬征
同上
18 (全日制)操作系统
李玲
同上
083900 网络空间安全
4  
01 (全日制)密码学与安全协议
吴文玲
①申请-考核制外国语②密码学③申请-考核制业务课二
01 (全日制)密码学与安全协议
徐静
同上
01 (全日制)密码学与安全协议
张振峰
同上
01 (全日制)密码学与安全协议
张斌
同上
02 (全日制)网络与系统安全
冯登国
①申请-考核制外国语②算法设计与分析③申请-考核制业务课二
02 (全日制)网络与系统安全
陈华
同上
085404 计算机技术
1  
01 (全日制)数据可视化与智能用户界面
张凤军
①申请-考核制外国语②软件工程基础③申请-考核制业务课二
02 (全日制)智能化软件系统工程
左春
①申请-考核制外国语②算法设计与分析③申请-考核制业务课二