基础软件与系统重点实验室(计算机科学国家重点实验室) | |||||
导师姓名 | 导师类别 | 招生学科 | 研究方向(博士/硕士) | 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 | ||
博导 | 计算机科学与技术 | 计算理论,数理逻辑,社会网络和离散动力系统 | 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 |