| 计算机科学国家重点实验室 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 林惠民 |
博导 |
计算机科学与技术 |
网络与并发实时系统的设计与分析、形式化方法 |
lhm(AT)ios.ac.cn |
| 吴恩华 |
博导 |
计算机科学与技术 |
计算机图形学 |
weh(AT)ios.ac.cn |
| 张健 |
博导 |
计算机科学与技术、软件工程 |
自动推理与约束求解，程序分析与软件测试 |
zj(AT)ios.ac.cn |
| 沈一栋 |
博导 |
计算机科学与技术 |
数据挖掘与人工智能 |
ydshen(AT)ios.ac.cn |
| 王文成 |
博导 |
计算机科学与技术 |
计算机图形学与可视计算 |
whn(AT)ios.ac.cn |
| 陈彦云 |
博导 |
计算机科学与技术 |
计算机图形学 |
chenyy(AT)ios.ac.cn |
| 张文辉 |
博导 |
计算机科学与技术 |
并发系统分析与验证 |
zwh(AT)ios.ac.cn |
| 陈海明 |
博导 |
计算机科学与技术 |
新型计算模型与应用、软件设计与分析方法 |
chm(AT)ios.ac.cn |
| 蒋颖 |
博导 |
计算机科学与技术 |
程序设计基础、程序理论与验证技术 |
jy(AT)ios.ac.cn |
| 焦莉 |
博导 |
计算机科学与技术 |
并发理论与形式化方法 |
ljiao(AT)ios.ac.cn |
| 柳欣欣 |
博导 |
计算机科学与技术 |
形式化方法 |
xinxin(AT)ios.ac.cn |
| 詹乃军 |
博导 |
计算机科学与技术 |
嵌入式系统、程序验证、形式化方法 |
znj(AT)ios.ac.cn |
| 张立军 |
博导 |
计算机科学与技术 |
模型检测、形式化方法、神经网络模型分析 |
zhanglj(AT)ios.ac.cn |
| 蔡少伟 |
博导 |
计算机科学与技术 |
约束求解与组合优化 |
caisw(AT)ios.ac.cn |
| Georgios Barmpalias |
博导 |
计算机科学与技术 |
计算理论，数理逻辑，社会网络和离散动力系统 |
barmplias(AT)ios.ac.cn |
| 李广元 |
硕导 |
计算机科学与技术 |
并发实时系统的设计与分析 |
ligy(AT)ios.ac.cn |
| 李勇坚 |
硕导 |
计算机科学与技术 |
形式化方法 |
lyj238(AT)ios.ac.cn |
| 张震宇 |
硕导 |
软件工程 |
软件测试与分析 |
zhangzy(AT)ios.ac.cn |
| 吴鹏 |
硕导 |
计算机科学与技术 |
并发软件验证与测试、形式化方法 |
wp(AT)ios.ac.cn |
| 吕毅 |
硕导 |
计算机科学与技术 |
多核环境下并发程序的验证与分析 |
lvyi(AT)ios.ac.cn |
| 吴志林 |
博导 |
计算机科学与技术 |
程序验证 |
wuzl(AT)ios.ac.cn |
| 杨绍发 |
硕导 |
计算机科学与技术 |
机器人集群控制算法 |
yangsf(AT)ios.ac.cn |
| 刘学慧 |
硕导 |
计算机科学与技术 |
计算机图形学 |
lxh(AT)ios.ac.cn |
| 夏盟佶 |
博导 |
计算机科学与技术 |
算法与计算复杂性 |
mingji(AT)ios.ac.cn |
| 蔡彦 |
博导 |
计算机科学与技术 |
程序语言分析、千亿QY8国际手机版安全 |
yancai(AT)ios.ac.cn |
| 朱雪阳 |
硕导 |
软件工程 |
嵌入式系统设计、形式化方法 |
zxy(AT)ios.ac.cn |
| 薛白 |
硕导 |
计算机科学与技术 |
混成系统，AI系统形式验证 |
xuebai(AT)ios.ac.cn |
| 詹博华 |
硕导 |
计算机科学与技术 |
形式化方法 |
bzhan(AT)ios.ac.cn |
| 侯飞 |
硕导 |
计算机科学与技术 |
计算机图形学与虚拟现实 |
houfei(AT)ios.ac.cn |
| 王淑灵 |
硕导 |
计算机科学与技术 |
嵌入式系统建模与验证 |
wagnsl(AT)ios.ac.cn |
| 晏荣杰 |
硕导 |
软件工程 |
智能系统的分析 |
yrj(AT)ios.ac.cn |
| 应圣钢 |
硕导 |
计算机科学与技术 |
量子计算，量子程序 |
yingsg(AT)ios.ac.cn |
| 李杨佳 |
硕导 |
计算机科学与技术 |
|
yagnjia(AT)ios.ac.cn |
| 陈世腾 |
硕导 |
计算机科学与技术 |
|
chenst(AT)ios.ac.cn |
| |
| 可信计算与信息保障实验室 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 冯登国 * |
博导 |
网络空间安全 |
可信计算与信息保障 |
fengdg(AT)263.net |
| 吴文玲 |
博导 |
网络空间安全 |
可信计算与信息保障 |
wenling(AT)iscas.ac.cn |
| 张振峰 |
博导 |
网络空间安全，软件工程 |
可信计算与信息保障 |
zhenfeng(AT)iscas.ac.cn |
| 苏璞睿 |
博导 |
网络空间安全，软件工程 |
可信计算与信息保障 |
purui(AT)iscas.ac.cn |
| 徐静 |
博导 |
网络空间安全 |
可信计算与信息保障 |
xujing(AT)iscas.ac.cn |
| 张斌 |
博导 |
网络空间安全 |
可信计算与信息保障 |
zhangbin(AT)iscas.ac.cn |
| 连一峰 |
博导 |
网络空间安全 |
可信计算与信息保障 |
yifeng(AT)iscas.ac.cn |
| 张敏 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
zhangmin(AT)iscas.ac.cn |
| 张阳 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
zhangyang(AT)iscas.ac.cn |
| 陈华 |
博导 |
网络空间安全 |
可信计算与信息保障 |
chenhua(AT)iscas.ac.cn |
| 张立武 |
博导 |
网络空间安全 |
可信计算与信息保障 |
liwu(AT)iscas.ac.cn |
| 秦宇 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
qinyu(AT)iscas.ac.cn |
| 程亮 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
chengliang(AT)iscas.ac.cn |
| 范丽敏 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
fanlimin(AT)iscas.ac.cn |
| 张蕾 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
zhanglei(AT)iscas.ac.cn |
| 张颖君 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
yingjun(AT)iscas.ac.cn |
| 闫佳 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
yanjia(AT)iscas.ac.cn |
| 冯伟 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
fengwei 2009(AT)iscas.ac.cn |
| 李昊 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
lihao(AT)iscas.ac.cn |
| 杨轶 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
yangyi(AT)iscas.ac.cn |
| 和亮 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
heliang(AT)iscas.ac.cn |
| 白琨鹏 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
baikunpeng(AT)iscas.ac.cn |
| 杨晨 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
yangchen(AT)iscas.ac.cn |
| 张海霞 |
硕导 |
网络空间安全 |
可信计算与信息保障 |
haixia(AT)iscas.ac.cn |
|
|
| 并行软件与计算科学实验室 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 李玉成 |
硕导 |
计算机科学与技术 |
并行算法与并行软件 |
yucheng(AT)iscas.ac.cn |
| 曹建文 |
博导 |
计算机科学与技术 |
数值并行计算 |
cao(AT)mail.rdcps.ac.cn |
| 李会元 |
博导 |
计算机科学与技术 |
数值并行计算 |
huiyuan(AT)iscas.ac.cn |
| 杨超 * |
博导 |
计算机科学与技术 |
数值并行算法与软件、大规模科学计算 |
yangchao(AT)iscas.ac.cn |
| 姚继峰 |
硕导 |
计算机科学与技术 |
并行算法与并行软件 |
jifeng(AT)iscas.ac.cn |
| 王婷 |
硕导 |
计算机科学与技术 |
并行计算、并行软件 |
wangting(AT)iscas.ac.cn |
| 马菲菲 |
博导 |
计算机科学与技术 |
自动推理 |
maffeics(AT)gmail.com |
| 张常有 |
博导 |
计算机科学与技术 |
并行与分布式软件 |
changyou(AT)iscas.ac.cn |
| 马文静 |
硕导 |
计算机科学与技术 |
并行计算、CPU计算、并行代码生成与优化 |
wenjing(AT)iscas.ac.cn |
| 陈峰 |
硕导 |
计算机科学与技术 |
软件工程、操作系统 |
chenfeng(AT)iscas.ac.cn |
| 刘芳芳 |
硕导 |
计算机科学与技术 |
高性能数学库，稀疏迭代解法器，异构众核并行 |
fangfang(AT)iscas.ac.cn |
| 张娅 |
硕导 |
计算机科学与技术 |
并行计算，计算数学 |
zhangya(AT)iscas.ac.cn |
| 牛树梓 |
硕导 |
计算机科学与技术 |
信息检索与网络挖掘 |
shuzi(AT)iscas.ac.cn |
| 赵海涛 |
硕导 |
计算机科学与技术 |
并行计算 |
haitao(AT)iscas.ac.cn |
| 孙乔 |
硕导 |
计算机科学与技术 |
|
sunqiao(AT)iscas.ac.cn |
| 黎雷生 |
硕导 |
计算机科学与技术 |
|
leisheng(AT)iscas.ac.cn |
| |
| 基础软件国家工程研究中心 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 李明树 |
博导 |
计算机科学与技术、软件工程 |
操作系统深度设计，可信软件过程，基础软硬件核心技术与应用 |
mingshu(AT)iscas.ac.cn |
| 贺也平 |
博导 |
计算机科学与技术 |
可信计算与系统安全 |
yeping(AT)iscas.ac.cn |
| 杨秋松 |
博导 |
计算机科学与技术 |
软件过程方法与技术、形式化方法、安全操作系统 |
qiusong(AT)nfs.iscas.ac.cn |
| 李文波 |
硕导 |
计算机科学与技术 |
文本信息处理与信息检索 |
wenbo(AT)nfs.iscas.ac.cn |
| 芮建武 |
硕导 |
计算机科学与技术 |
可信计算与基础软件 |
rjw(AT)iscas.ac.cn |
| 陶秋铭 |
硕导 |
软件工程 |
软件工程 |
qiuming(AT)iscas.ac.cn |
| 翟健 |
硕导 |
软件工程 |
软件过程技术与应用 |
zhaijian(AT)iscas.ac.cn |
| 马恒太 |
硕导 |
软件工程 |
网络技术及应用 |
hengtai(AT)iscas.ac.cn |
| 马越 |
硕导 |
计算机科学与技术 |
软硬件深度融合 |
mayue(AT)iscas.ac.cn |
| 慈轶为 |
硕导 |
软件工程 |
软硬件深度融合 |
yiwei(AT)iscas.ac.cn |
| |
|
|
|
|
| 中文信息处理实验室 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 孙乐 |
博导 |
计算机科学与技术，软件工程 |
文本信息处理与信息检索 |
sunle(AT)iscas.ac.cn |
| 吴健 |
硕导 |
软件工程 |
文本信息处理与信息检索 |
wujian(AT)iscas.ac.cn |
| 韩先培 |
博导 |
计算机科学与技术 |
文本信息处理与信息检索 |
xianpei(AT)iscas.ac.cn |
| 刘汇丹 |
硕导 |
计算机科学与技术 |
多民族自然语言处理处理，操作系统中文信息处理 |
huidan(AT)iscas.ac.cn |
| 马龙龙 |
硕导 |
计算机科学与技术 |
文本信息处理与信息检索 |
longlong(AT)iscas.ac.cn |
| 安波 |
硕导 |
计算机科学与技术 |
|
anbo(AT)iscas.ac.cn |
| 陈波 |
硕导 |
计算机科学与技术 |
|
chenbo(AT)iscas.ac.cn |
| |
|
|
|
|
| 互联网软件技术实验室 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 王青 |
博导 |
计算机科学与技术、软件工程 |
智能软件工程、经验软件工程 |
wq(AT)iscas.ac.cn |
| 王俊杰 |
硕导 |
软件工程 |
软件工程大数据，智能软件工程，软件质量 |
junjie(AT)iscas.ac.cn |
| 石琳 |
硕导 |
软件工程 |
智能需求工程 |
shilin(AT)iscas.ac.cn |
| 王丹丹 |
硕导 |
软件工程 |
|
dandan(AT)iscas.ac.cn |
| 胡军 |
硕导 |
软件工程 |
|
hujun(AT)iscas.ac.cn |
| |
| 人机交互技术与智能信息处理实验室 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 王宏安 |
博导 |
计算机科学与技术 |
人机交互技术、软件工程 |
wha(AT)iel.iscas.ac.cn |
| 田丰 |
博导 |
计算机科学与技术 |
人机交互技术、软件工程 |
tianfeng(AT)iscas.ac.cn |
| 马翠霞 |
博导 |
软件工程 |
人机交互技术、软件工程 |
cuixia(AT)iscas.ac.cn |
| 乔颖 |
博导 |
计算机科学与技术 |
人机交互技术、软件工程 |
qiaoying(AT)iscas.ac.cn |
| 陈辉 |
博导 |
软件工程 |
人机交互技术、软件工程 |
chenhui(AT)iscas.ac.cn |
| 邓小明 |
硕导 |
计算机科学与技术 |
人机交互技术、计算机视觉 |
xiaoming(AT)iscas.ac..cn |
| 刘杰 |
硕导 |
计算机科学与技术 |
人机交互技术、图像处理 |
liujie2016(AT)iscas.ac..cn |
| 韩腾 |
硕导 |
计算机科学与技术 |
人机交互技术 |
hanteng(AT)iscas.ac..cn |
| 范向民 |
硕导 |
软件工程 |
人机交互技术 |
xiangmin(AT)iscas.ac..cn |
| 何小伟 |
硕导 |
软件工程 |
计算机图形学与物理仿真 |
xiaowei(AT)iscas.ac..cn |
| 朱嘉奇 |
硕导 |
软件工程 |
互联网信息挖掘，人机混合智能 |
zhujq(AT)iscas.ac..cn |
| 冷昶 |
硕导 |
计算机科学与技术 |
人机交互技术、计算机视觉 |
lengchang(AT)iscas.ac..cn |
| |
| 软件工程技术研究开发中心 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 黄涛 |
博导 |
计算机科学与技术，软件工程 |
网络分布计算理论与技术、分布式软件理论与技术 |
tao(AT)otcaix.iscas.ac.cn |
| 钟华 |
博导 |
软件工程 |
网络分布计算理论与技术、分布式软件理论与技术 |
zhongh(AT)otcaix.iscas.ac.cn |
| 魏峻 |
博导 |
软件工程 |
网络分布计算理论与技术、分布式软件理论与技术 |
wj(AT)otcaix.iscas.ac.cn |
| 金蓓弘 |
博导 |
软件工程 |
网络分布计算理论与技术、分布式软件理论与技术 |
jbh(AT)otcaix.iscas.ac.cn |
| 叶丹 |
博导 |
软件工程 |
网络分布计算理论与技术、分布式软件理论与技术 |
yedan(AT)otcaix.iscas.ac.cn |
| 张文博 |
博导 |
软件工程 |
网络分布计算理论与技术 |
zhangwenbo(AT)otcaix.iscas.ac.cn |
| 徐罡 |
硕导 |
软件工程 |
网络分布计算理论与技术、中间件技术与系统 |
xugang(AT)otcaix.iscas.ac.cn |
| 吴国全 |
硕导 |
软件工程 |
网络分布计算理论与技术 |
gqwu(AT)otcaix.iscas.ac.cn |
| 王伟 |
博导 |
软件工程 |
网络分布计算理论与技术 |
wangwei(AT)otcaix.iscas.ac.cn |
| 严俊 |
博导 |
软件工程 |
分布式软件理论与技术 |
yanjun(AT)otcaix.iscas.ac.cn |
| 张波 |
硕导 |
软件工程 |
分布式软件系统工程 |
zhangbo(AT)otcaix.iscas.ac.cn |
| 陈伟 |
硕导 |
软件工程 |
软件工程 |
wchen(AT)otcaix.iscas.ac.cn |
| 刘杰 |
硕导 |
软件工程 |
分布式系统，数据工程，数据挖掘 |
ljie(AT)otcaix.iscas.ac.cn |
| 吴恒 |
硕导 |
软件工程 |
云计算 |
wuheng(AT)otcaix.iscas.ac.cn |
| 王焘 |
硕导 |
软件工程 |
服务计算 |
wangtao(AT)otcaix.iscas.ac.cn |
| 窦文生 |
硕导 |
软件工程 |
|
wensheng(AT)otcaix.iscas.ac.cn |
| 许利杰 |
硕导 |
计算机科学与技术 |
大数据系统 |
xulijie(AT)otcaix.iscas.ac.cn |
| 张扶桑 |
硕导 |
计算机科学与技术 |
移动与普适计算、无线感知 |
fusang(AT)otcaix.iscas.ac.cn |
| 朱嘉鑫 |
硕导 |
软件工程 |
|
jiaxin(AT)otcaix.iscas.ac.cn |
| |
| 天基综合信息系统重点实验室 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 徐帆江 |
博导 |
计算机科学与技术 |
智能信息处理 |
fanjiang(AT)iscas.ac.cn |
| 胡晓惠 |
博导 |
软件工程 |
大数据与智能信息处理 |
hxh(AT)iscas.ac.cn |
| 郑昌文 |
博导 |
软件工程 |
大数据与智能信息处理 |
changwen(AT)iscas.ac.cn |
| 刘立详 |
博导 |
计算机科学与技术 |
智能组网技术 |
lixiang(AT)iscas.ac.cn |
| 吴玉泉 |
博导 |
软件工程 |
大数据与智能信息处理 |
yuquan(AT)iscas.ac.cn |
| 吴凤鸽 |
硕导 |
计算机科学与技术 |
智能信息处理 |
fengge(AT)iscas.ac.cn |
| 赵军锁 |
硕导 |
软件工程 |
大数据与智能信息处理 |
junsuo(AT)iscas.ac.cn |
| 周鑫 |
硕导 |
软件工程 |
大数据与智能信息处理 |
zhouxin(AT)iscas.ac.cn |
| 吴长茂 |
硕导 |
计算机科学与技术 |
并行软件与并行算法 |
changmao(AT)iscas.ac.cn |
| 李海昌 |
硕导 |
计算机科学与技术 |
智能信息处理 |
haichang(AT)iscas.ac.cn |
| 唐熊忻 |
硕导 |
计算机科学与技术 |
智能信息处理 |
xiongxin(AT)iscas.ac.cn |
| |
|
|
|
|
| 协同创新中心 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 王永吉 |
博导 |
计算机科学与技，软件工程 |
人工智能、大数据、隐蔽信道、实时系统 |
ywang(AT)itechs.iscas.ac.cn |
| 关贝 |
硕导 |
软件工程 |
人工智能、大数据、隐蔽信道、实时系统 |
guanbei(AT)iscas.ac.cn |
| |
|
|
|
|
| 时空数据管理与数据科学研究中心 |
|
|
|
|
| 导师姓名 |
导师类别 |
招生专业 |
研究方向 |
E-mail 地址 |
| 丁治明 |
博导 |
计算机科学与技术 |
数据库与知识库系统 |
zhiming（AT）iscas.ac.cn |
|
|
|
|
|
|
|
| 智能软件研究中心 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 赵琛 |
博导 |
计算机科学与技术，软件工程 |
程序语言设计与编译技术，可信计算与基础软件 |
zhaochen(AT)iscas.ac.cn |
| 武延军 |
博导 |
软件工程 |
可信技术与基础软件 |
yanjun(AT)nfs.iscas.ac.cn |
| 李玲 |
博导 |
软件工程 |
智能计算，视频处理 |
liling(AT)iscas.ac.cn |
| 薛云志 |
硕导 |
软件工程 |
自动化软件测试、编译优化 |
yunzhi(AT)nfs.iscas.ac.cn |
| 吴敬征 |
硕导 |
软件工程 |
漏洞挖掘，移动终端安全，操作系统安全 |
jingzheng(AT)nfs.iscas.ac.cn |
| 于佳耕 |
硕导 |
软件工程 |
操作系统，虚拟化，云计算 |
jiageng(AT)nfs.iscas.ac.cn |
| 张立波 |
硕导 |
软件工程 |
人工智能、深度学习、计算机视觉 |
libo(AT)iscas.ac.cn |
| 孟令中 |
硕导 |
软件工程 |
可信赖人工智能 |
lingzhong(AT)iscas.ac.cn |
| 董乾 |
硕导 |
软件工程 |
人工智能测评，分布式优化 |
dongqian(AT)iscas.ac.cn |
| |
|
|
|
|
| 软件发展研究部 |
| 导师姓名 |
导师类别 |
招生专业 |
研究方向（博士/硕士） |
E-mail 地址 |
| 左春 * |
硕导 |
软件工程 |
分布式软件系统工程 |
zuochun(AT)sinosoft.com.cn |
| 张凤军 |
博导 |
软件工程 |
人机交互技术、软件工程 |
fengjun(AT)iscas.ac.cn |
| 杨立 |
硕导 |
软件工程 |
智能软件工程，区块链 |
yangli2017(AT)iscas.ac.cn |
