导师信息
  

基础软件与系统重点实验室(计算机科学国家重点实验室)
导师姓名 导师类别 招生学科 研究方向(博士/硕士) E-mail 地址
林惠民 博导 计算机科学与技术 网络与并发实时系统的设计与分析、形式化方法 lhm(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
焦莉 博导 计算机科学与技术 并发理论与形式化方法 ljiao(AT)ios.ac.cn
柳欣欣 博导 计算机科学与技术 形式化方法 xinxin(AT)ios.ac.cn
詹乃军 博导 计算机科学与技术 嵌入式系统、程序验证、形式化方法 znj(AT)ios.ac.cn
张立军 博导 计算机科学与技术 模型检测、形式化方法、神经网络模型分析 zhanglj(AT)ios.ac.cn
蔡少伟 博导 计算机科学与技术 约束求解,EDA算法 caisw(AT)ios.ac.cn
Georgios Barmpalias 计算机科学与技术 计算理论,数理逻辑,社会网络和离散动力系统 barmplias(AT)ios.ac.cn
宋富 计算机科学与技术 形式化验证、程序分析、网络空间安全
songfu(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
刘学慧 硕导 计算机科学与技术 计算机图形学 lxh(AT)ios.ac.cn
夏盟佶 博导 计算机科学与技术 算法与计算复杂性 mingji(AT)ios.ac.cn
蔡彦 博导 软件工程 程序分析与测试,软件安全 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
周立 博导 计算机科学与技术 量子程序理论,形式化方法,量子密码学
zhouli(AT)ios.ac.cn

官极
硕导
计算机科学与技术
量子机器学习,量子算法
guanji(AT)ios.ac.cn

施晓牧
硕导
软件工程
形式化验证,定理证明
shixm(AT)ios.ac.cn

金高杰

计算机科学与技术
人工智能
gaojie(AT)ios.ac.cn

吴恩华 博导
计算机科学与技术
计算机图形学与虚拟现实,图像视频处理与重建
ehwu(AT)umac.mo

李勇 硕导 计算机科学与技术、软件工程
形式化方法、软硬件测试与验证
liyong(AT)ios.ac.cn

杨绍发
硕导
计算机科学与技术
形式化方法
yangsf(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 
程亮 硕导
网络空间安全
软件与系统安全
chengliang(AT)iscas.ac.cn

范丽敏 硕导
软件工程、网络空间安全
密码安全实现,密码测评
fanlimin(AT)iscas.ac.cn

张颖君 硕导
网络空间安全
系统安全,人工智能安全
yingjun2011(AT)iscas.ac.cn

陈隆 硕导
网络空间安全
密码学
chenlong(AT)iscas.ac.cn

贾相堃 硕导
网络空间安全
软件与系统安全
xiangkun(AT)iscas.ac.cn

路远 硕导
网络空间安全
拜占庭容错、安全多方计算、区块链技术与应用
luyuan(AT)iscas.ac.cn

 


并行软件与计算科学实验室
导师姓名 导师类别 招生学科 研究方向(博士/硕士) E-mail 地址
李玉成 硕导 计算机科学与技术 并行软件与计算科学 yucheng(AT)iscas.ac.cn
曹建文 博导 计算机科学与技术 并行算法与高性能计算 caojianwen(AT)gmail.com
李会元 博导 计算机科学与技术 并行算法与并行软件 huiyuan(AT)iscas.ac.cn
姚继峰 硕导 计算机科学与技术 并行算法与软件,海量数据处理 jifeng(AT)iscas.ac.cn
王婷 硕导 计算机科学与技术 并行计算,高性能计算,性能优化 wangting(AT)iscas.ac.cn
马菲菲 博导 计算机科学与技术 自动推理、约束求解 maff(AT)ios.ac.cn
张常有 博导 计算机科学与技术 并行与分布式软件 changyou(AT)iscas.ac.cn
马文静 硕导 计算机科学与技术 并行计算,高性能计算,并行代码生成与优化 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 
黎雷生 硕导 计算机科学与技术 高性能大规模并行计算,科学与工程计算,复杂异构计算系统性能优化 leisheng(AT)iscas.ac.cn 
孙乔 硕导 计算机科学与技术  并行计算 sunqiao8964(AT)qq.com
白延 硕导 计算机科学与技术 机器学习,深度学习 yangchao(AT)iscas.ac.cn 
闫碧莹
硕导
计算机科学与技术
深度学习、时空数据挖掘、大模型
biying(AT)iscas.ac.cn

赵慧 硕导
计算机科学与技术
高性能计算,计算流体力学
zhaohui2016(AT)iscas.ac.cn

 
基础软件国家工程研究中心
导师姓名 导师类别 招生学科 研究方向(博士/硕士) E-mail 地址
李明树 博导 计算机科学与技术、软件工程 博士:新型操作系统和系统安全
硕士:软硬件深度融合
mingshu(AT)admin.iscas.ac.cn
杨秋松  博导 软件工程 博士:软硬件深度融合
硕士:新型操作系统和系统安全
qiusong(AT)iscas.ac.cn
李文波 硕导 计算机科学与技术 操作系统 wenbo(AT)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
韩先培 博导 计算机科学与技术 自然语言处理 xianpei(AT)iscas.ac.cn
林鸿宇 硕导 计算机科学与技术、软件工程 大模型、自然语言理解 hongyu(AT)iscas.ac.cn
       
智能博弈重点实验室(原互联网软件技术实验室)
导师姓名 导师类别 招生学科 研究方向(博士/硕士) E-mail 地址
王青 博导 软件工程 博士:智能软件工程,知识服务与大模型
硕士:智能软件工程,数据服务与大模型应用
wq(AT)iscas.ac.cn
王俊杰
博导
软件工程
博士:智能软件工程,知识服务与大模型
硕士:智能软件工程
junjie(AT)iscas.ac.cn

胡军 硕导  软件工程 智能软件工程,数据服务与大模型应用 hujun(AT)iscas.ac.cn
王丹丹 硕导 软件工程 智能软件工程 dandan(AT)iscas.ac.cn
李明阳
硕导
软件工程
智能软件工程
mingyang2017(AT)iscas.ac.cn

任涛 硕导
软件工程
智能软件工程
rentao22(AT)iscas.ac.cn

胡渊喆 硕导
软件工程
智能软件工程,数据服务与大模型应用
yuanzhe(AT)iscas.ac.cn

 
人机交互技术与智能信息处理实验室
导师姓名 导师类别 招生学科 研究方向(博士/硕士) E-mail 地址
王宏安 博导 计算机科学与技术 人机交互、实时智能 hongan(AT)iscas.ac.cn
田丰 博导 计算机科学与技术 人机交互 tianfeng(AT)iscas.ac.cn
乔颖 博导  计算机科学与技术  实时智能、人机交互 qiaoying(AT)iscas.ac.cn 
马翠霞 博导 软件工程 人机交互、可视媒体智能处理 cuixia(AT)iscas.ac.cn
陈辉 博导 软件工程 人机交互 chenhui(AT)iscas.ac.cn
邓小明 博导 软件工程 计算机视觉、人机交互 xiaoming(AT)iscas.ac..cn
朱嘉奇 硕导 软件工程 互联网信息挖掘,人机混合智能 zhujq(AT)ios.ac..cn
何小伟 硕导 软件工程 计算机图形学、物理仿真、人机交互 xiaowei(AT)iscas.ac..cn
韩腾 博导 计算机科学与技术 人机交互、虚拟现实 hanteng(AT)iscas.ac..cn
冷昶 硕导 计算机科学与技术 实时智能、实时系统 lengchang(AT)iscas.ac..cn
黄进 硕导
计算机科学与技术
人机交互、虚拟现实
huangjin(AT)iscas.ac.cn

孙伟 硕导
计算机科学与技术
人工智能、人机交互
sunwei2017(AT)iscas.ac.cn

谢旭荣 硕导
计算机科学与技术
语音和语言处理、情感计算、计算认知科学、机器学习
xurong(AT)iscas.ac.cn

岳康 硕导
计算机科学与技术
虚拟现实场景中的人机交互技术;多模态用户状态感知与调控;脑机交互;深度学习
yuekang(AT)iscas.ac.cn

田卓 硕导
计算机科学与技术
工业仿真软件,高性能j计算,并行计算
tianzhuo2020(AT)iscas.ac.cn







 
软件工程技术研究开发中心
导师姓名 导师类别 招生学科 研究方向(博士/硕士) E-mail 地址
黄涛 博导 计算机科学与技术,软件工程 网络分布计算理论与技术,分布式软件理论与技术 tao(AT)otcaix.iscas.ac.cn
钟华 博导 软件工程,电子信息 分布式软件理论与技术,分布式软件系统工程 zhonghua(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
王伟 博导 计算机科学与技术 分布式系统,大数据与机器学习系统 wangwei(AT)otcaix.iscas.ac.cn 
严俊 博导  软件工程  程序分析与软件测试  yanjun(AT)otcaix.iscas.ac.cn 
吴国全 博导 软件工程 软件测试分析,软件可靠性保障 gqwu(AT)otcaix.iscas.ac.cn
徐罡 硕导 软件工程 数据挖掘,云计算 xugang(AT)otcaix.iscas.ac.cn
陈伟 博导 软件工程 知识驱动的软件工程与网络分布式计算 wchen(AT)otcaix.iscas.ac.cn
刘杰 硕导 计算机科学与技术 大数据分析算法与系统 ljie(AT)otcaix.iscas.ac.cn
窦文生 博导  软件工程 软件分析与测试 wsdou(AT)otcaix.iscas.ac.cn
吴恒 硕导 软件工程 云边协同 wuheng09(AT)otcaix.iscas.ac.cn
王焘 硕导 软件工程 云计算平台设计,大数据智能治理 wangtao08(AT)otcaix.iscas.ac.cn
许利杰 硕导 计算机科学与技术 大数据系统 xulijie09(AT)otcaix.iscas.ac.cn
张扶桑 硕导 计算机科学与技术 移动与普适计算、智能感知 zhangfusang10(AT)otcaix.iscas.ac.cn
朱家鑫 硕导 软件工程 软件过程分析与优化,开源生态治理 zhujiaxin(AT)otcaix.iscas.ac.cn
唐震
硕导
计算机科学与技术
分布式系统
tangzhen12(AT)otcaix.iscas.ac.cn

王帅
硕导
软件工程
大数据分析处理
wangshuai(AT)otcaix.iscas.ac.cn

吴悦文 硕导
软件工程
云边端系统性能优化、深度学习系统性能优化
wuyuewen(AT)otcaix.iscas.ac.cn

李慧
硕导
软件工程
大数据系统、软件工程
lihui2012(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
郑权 硕导 计算机科学与技术  人工智能,计算机图形学,计算成像  zhengquan(AT)iscas.ac.cn
唐熊忻 硕导 计算机科学与技术 智能信息处理 xiongxin(AT)iscas.ac.cn
帅军
硕导
计算机科学与技术
复杂巨星座网络体系设计与仿真
shuaijun(AT)iscas.ac.cn

孟庆
硕导
软件工程
水下目标智能识别、水下博弈推演
qingxin(AT)iscas.ac.cn

任懿
硕导
计算机科学与技术
智能博弈,智能决策,多智能体,虚实迁移
renyi(AT)iscas.ac.cn


硕导
计算机科学与技术
卫星任务规划,星上自主决策
wangpeng(AT)iscas.ac.cn

王瑞
硕导
软件工程
大数据与智能信息处理
wangrui(AT)iscas.ac.cn

         
协同创新中心
导师姓名 导师类别 招生学科 研究方向(博士/硕士) E-mail 地址
关贝 硕导 软件工程 大数据分析技术和人工智能技术应用,软件工程技术,网络安全分析  guanbei(AT)iscas.ac.cn
王永吉 博导 软件工程 人工智能,大数据分析,智能制造,医疗影像分析处理,中医药大数据等 ywang(AT)itechs.iscas.ac.cn

时空数据管理与数据科学研究中心 
导师姓名 导师类别  招生学科 研究方向  E-mail 地址 
丁治明 博导 软件工程 数据库与知识库系统,时空感知大数据 zhiming(AT)iscas.ac.cn
刘杰 硕导 计算机科学与技术 智能感知,类脑多模态信息智能处理,大数据智能分析  liujie2016(AT)iscas.ac.cn 
窦竹梅 硕导  计算机科学与技术 网络软件工程,系统软件理论与技术,软件体系结构等 zhumei(AT)iscas.ac.cn 
丁丽萍 博导  计算机科学与技术 计算机应用技术 dingliping(AT)gz.iscas.ac.cn 
刘汇丹 硕导
计算机科学与技术
多民族语言文字信息处理
huidan(AT)iscas.ac.cn

马龙龙
硕导
计算机科学与技术
自然语言处理
longlong(AT)iscas.ac.cn

智能软件研究中心
导师姓名 导师类别 招生学科 研究方向(博士/硕士) E-mail 地址
赵琛 博导 软件工程 智能基础理论与系统 zhaochen(AT)iscas.ac.cn
武延军 博导 软件工程 操作系统 yanjun(AT)iscas.ac.cn
吴敬征 博导  软件工程 软件供应链安全 jingzheng08(AT)iscas.ac.cn 
李玲 博导  软件工程 智能计算,系统软件,视频处理 liling(AT)iscas.ac.cn
于佳耕  硕导  软件工程  操作系统,智能系统,云计算  jiageng08(AT)iscas.ac.cn 
张立波 硕导 软件工程 人工智能,计算机视觉  libo(AT)iscas.ac.cn
薛云志 硕导 计算机科学与技术 可信赖人工智能 yunzhi(AT)iscas.ac.cn
孟令中 硕导 计算机科学与技术 可信赖人工智能 lingzhong(AT)iscas.ac.cn
董乾 硕导 计算机科学与技术 人工智能测评,分布式优化 dongqian(AT)iscas.ac.cn
李鹏 硕导
软件工程
机器人基础软件、云原生基础软件
lipeng(AT)iscas.ac.cn

郑晨 硕导
软件工程
操作系统、智能系统软件、云计算
zhengchen(AT)iscas.ac.cn

张珩 硕导
软件工程
高性能系统,操作系统,异构计算
zhangheng17(AT)iscas.ac.cn

侯朋朋 硕导
软件工程
操作系统,智能系统
pengpeng(AT)iscas.ac.cn


软件发展研究部
导师姓名 导师类别 招生学科 研究方向(博士/硕士) E-mail 地址
张凤军 博导 软件工程 数据分析与可视化,区块链 fengjun(AT)iscas.ac.cn 
左春 * 硕导 软件工程 智能化软件系统工程 zuochun(AT)sinosoft.com.cn
杨立 硕导 软件工程 智能化软件开发方法及质量保障 yangli2017(AT)iscas.ac.cn