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