导师信息
| 计算机科学国家重点实验室 | ||||
| 导师姓名 | 导师类别 | 招生专业 | 研究方向（博士/硕士） | 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 |
| 时磊 | 博导 | 计算机应用技术、计算机技术 | 信息可视化、可视分析 | shil(AT)ios.ac.cn |
| 李广元 | 硕导 | 计算机软件与理论、计算机技术 | 并发实时系统的设计与分析 | ligy(AT)ios.ac.cn |
| 李勇坚 | 硕导 | 计算机软件与理论 | 并发实时软件设计与分析方法 | lyj238(AT)ios.ac.cn |
| 张震宇 | 硕导 | 软件工程（学术学位）、计算机技术 | 软件测试与分析 | zhangzy(AT)ios.ac.cn |
| 吴鹏 | 硕导 | 计算机软件与理论、计算机技术 | 并发软件验证与测试、形式化方法 | wp(AT)ios.ac.cn |
| 张昱 | 硕导 | 计算机软件与理论 | 软件设计、验证及测试的方法与技术 | yzhang(AT)ios.ac.cn |
| 吕毅 | 硕导 | 计算机软件与理论、计算机技术 | 多核环境下并发程序的验证与分析 | lvyi(AT)ios.ac.cn |
| 吴志林 | 硕导 | 计算机软件与理论、计算机技术 | 程序验证、数据库理论、计算逻辑、形式语言与自动机理论 | wuzl(AT)ios.ac.cn |
| 杨绍发 | 硕导 | 计算机软件与理论、计算机技术 | 机器人集群控制算法 | yangsf(AT)ios.ac.cn |
| 刘学慧 | 硕导 | 计算机应用技术、计算机技术 | 计算机图形学 | lxh(AT)ios.ac.cn |
| 夏盟佶 | 硕导 | 计算机软件与理论 | 算法和计算复杂性 | mengji(AT)ios.ac.cn |
| 蔡彦 | 硕导 | 计算机软件与理论 | 程序语言分析 | yancai(AT)ios.ac.cn |
| 朱雪阳 | 硕导 | 软件工程、计算机软件与理论 | 嵌入式系统设计、形式化方法 | zxy(AT)ios.ac.cn |
| 可信计算与信息保障实验室 | ||||
| 导师姓名 | 导师类别 | 招生专业 | 研究方向（博士/硕士） | E-mail 地址 |
| 冯登国 * | 博导 | 计算机应用技术 | 可信计算与信息保障 | feng(AT)tca.iscas.ac.cn |
| 吴文玲 | 博导 | 计算机应用技术 | 可信计算与信息保障 | wwl(AT)tca.iscas.ac.cn |
| 张振峰 | 博导 | 计算机应用技术 | 可信计算与信息保障 | zfzhang(AT)tca.iscas.ac.cn |
| 苏璞睿 | 博导 | 计算机应用技术、计算机技术 | 可信计算与信息保障 | supurui(AT)tca.iscas.ac.cn |
| 徐静 | 博导 | 计算机应用技术 | 可信计算与信息保障 | xujing(AT)tca.iscas.ac.cn |
| 张斌 | 博导 | 计算机应用技术 | 可信计算与信息保障 | zhangbin(AT)tca.iscas.ac.cn |
| 连一峰 | 博导 | 计算机应用技术、计算机技术 | 可信计算与信息保障 | lianyf(AT)tca.iscas.ac.cn |
| 张敏 | 硕导 | 计算机应用技术、计算机技术 | 可信计算与信息保障 | mzhang(AT)tca.iscas.ac.cn |
| 张阳 | 硕导 | 计算机应用技术、计算机技术 | 可信计算与信息保障 | zhangyang(AT)tca.iscas.ac.cn |
| 陈华 | 硕导 | 计算机应用技术、计算机技术 | 可信计算与信息保障 | chenhua(AT)tca.iscas.ac.cn |
| 张立武 | 博导 | 计算机应用技术、计算机技术 | 可信计算与信息保障 | zlw(AT)tca.iscas.ac.cn |
| 秦宇 | 硕导 | 计算机应用技术 | 可信计算与信息保障 | qin_yu(AT)tca.iscas.ac.cn |
| 张立廷 | 硕导 | 计算机应用技术 | 可信计算与信息保障 | zhangliting(AT)tca.iscas.ac.cn |
| 程亮 | 硕导 | 计算机应用技术 | 可信计算与信息保障 | chengliang(AT)tca.iscas.ac.cn |
| 范丽敏 | 硕导 | 计算机应用技术 | 可信计算与信息保障 | fanlimin(AT)tca.iscas.ac.cn |
| 张蕾 | 硕导 | 计算机应用技术 | 可信计算与信息保障 | zhanglei(AT)tca.iscas.ac.cn |
| 张颖君 | 硕导 | 计算机应用技术 | 可信计算与信息保障 | yjzhang(AT)tca.iscas.ac.cn |
| 并行软件与计算科学实验室 | ||||
| 导师姓名 | 导师类别 | 招生专业 | 研究方向（博士/硕士） | E-mail 地址 |
| 李玉成 | 硕导 | 计算机软件与理论 | 并行算法与并行软件 | yucheng(AT)iscas.ac.cn |
| 曹建文 | 博导 | 计算机软件与理论 | 数值并行计算 | cao(AT)mail.rdcps.ac.cn |
| 徐进 | 博导 | 计算机软件与理论 | 科学计算、计算数学 | xu_jin(AT)iscas.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 |
| 丁丽萍 | 博导 | 计算机软件与理论、电子与信息 | 系统软件安全与取证、可信计算、智能终端安全与取证 | dlp(AT)iscas.ac.cn |
| 刘芳芳 | 硕导 | 计算机软件与理论 | 高性能数学库，稀疏迭代解法器，异构众核并行 | fangfang(AT)iscas.ac.cn |
| 基础软件国家工程研究中心 | ||||
| 导师姓名 | 导师类别 | 招生专业 | 研究方向（博士/硕士） | E-mail 地址 |
| 李明树 | 博导 | 计算机软件与理论、软件工程（学术学位） | 操作系统深度设计，可信软件过程，基础软硬件核心技术与应用 | mingshu(AT)iscas.ac.cn |
| 贺也平 | 博导 | 计算机软件与理论 | 可信计算与系统安全 | yeping(AT)iscas.ac.cn |
| 杨秋松 | 博导 | 计算机软件与理论、软件工程（专业学位） | 软件过程方法与技术、形式化方法、安全操作系统 | qiusong(AT)nfs.iscas.ac.cn |
| 郭亮 | 硕导 | 计算机软件与理论 | 可信计算与基础软件 | guoliang(AT)pubmail.iscas.ac.cn |
| 袁峰 | 硕导 | 软件工程（学术/专业） | 智慧城市（物联网、云计算、大数据）、软件工程 | yf(AT)gz.iscas.ac.cn |
| 李文波 | 硕导 | 计算机软件与理论 | 文本信息处理与信息检索 | wenbo(AT)nfs.iscas.ac.cn |
| 芮建武 | 硕导 | 计算机软件与理论 | 可信计算与基础软件 | rjw(AT)iscas.ac.cn |
| 杨达 | 硕导 | 软件工程（学术学位） | 软件过程方法与技术，需求工程，数据挖掘 | yangda(AT)nfs.iscas.ac.cn |
| 陶秋铭 | 硕导 | 计算机软件与理论 | 软件工程 | qiuming(AT)iscas.ac.cn |
| 翟健 | 硕导 | 软件工程 | 软件过程技术与应用 | zhaijian(AT)iscas.ac.cn |
| 马恒太 | 硕导 | 计算机应用技术 | 网络技术及应用 | hengtai(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 |
| 互联网软件技术实验室 | ||||
| 导师姓名 | 导师类别 | 招生专业 | 研究方向（博士/硕士） | E-mail 地址 |
| 王青 | 博导 | 计算机软件与理论、软件工程（学术学位） | 软件过程技术与方法、经验软件工程 | wq(AT)itechs.iscas.ac.cn |
| 王俊杰 | 硕导 | 计算机软件与理论 | 软件工程大数据，智能软件工程，软件质量 | junjie(AT)itechs.iscas.ac.cn |
| 人机交互技术与智能信息处理实验室 | ||||
| 导师姓名 | 导师类别 | 招生专业 | 研究方向（博士/硕士） | E-mail 地址 |
| 王宏安 | 博导 | 计算机应用技术、电子与信息 | 人机交互技术、软件工程 | wha(AT)iel.iscas.ac.cn |
| 田丰 | 博导 | 计算机应用技术、电子与信息 | 人机交互技术、软件工程 | tianfeng(AT)iscas.ac.cn |
| 马翠霞 | 博导 | 计算机应用技术 | 人机交互技术、软件工程 | cuixia(AT)iscas.ac.cn |
| 滕东兴 | 博导 | 计算机应用技术 | 人机交互技术、软件工程 | dongxing(AT)iscas.ac.cn |
| 乔颖 | 博导 | 计算机应用技术 | 人机交互技术、软件工程 | qiaoying(AT)iscas.ac.cn |
| 王永炎 | 硕导 | 计算机应用技术 | 人机交互技术、软件工程 | yongyan(AT)iscas.ac.cn |
| 陈辉 | 博导 | 计算机应用技术 | 人机交互技术、软件工程 | chenhui(AT)iscas.ac.cn |
| 邓小明 | 硕导 | 计算机应用技术 | 人机交互技术、计算机视觉 | idengxm(AT)gmail.com |
| 邓昌智 | 硕导 | 计算机应用技术 | 交互式可视分析 | changzhi(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 |
| 许舒人 | 硕导 | 计算机软件与理论、软件工程（专业学位） | 网络分布计算理论与技术、分布式软件系统工程 | xsr(AT)otcaix.iscas.ac.cn |
| 吴国全 | 硕导 | 计算机软件与理论 | 网络分布计算理论与技术 | gqwu(AT)otcaix.iscas.ac.cn |
| 王伟 | 博导 | 计算机软件与理论 | 网络分布计算理论与技术 | wangwei(AT)otcaix.iscas.ac.cn |
| 严俊 | 硕导 | 软件工程（学术学位） | 分布式软件理论与技术 | yanjun(AT)otcaix.iscas.ac.cn |
| 范国闯 | 硕导 | 软件工程（专业学位） | 中间件技术与系统 | fanguochuang(AT)otcaix.iscas.ac.cn |
| 张波 | 硕导 | 软件工程（专业学位） | 分布式软件系统工程 | zhangbo(AT)otcaix.iscas.ac.cn |
| 陈伟 | 硕导 | 计算机软件与理论 | 软件工程 | wchen(AT)otcaix.iscas.ac.cn |
| 刘杰 | 硕导 | 计算机软件与理论 | 分布式系统，数据工程，数据挖掘 | ljie(AT)otcaix.iscas.ac.cn |
| 天基综合信息系统重点实验室 | ||||
| 导师姓名 | 导师类别 | 招生专业 | 研究方向（博士/硕士） | E-mail 地址 |
| 李磊* | 博导 | 计算机应用技术 | 智能信息处理 | lilei(AT)iscas.ac.cn |
| 徐帆江* | 博导 | 计算机应用技术 | 智能信息处理 | fanjiang(AT)iscas.ac.cn |
| 胡晓惠 | 博导 | 计算机应用技术 | 智能信息处理 | hxh(AT)iscas.ac.cn |
| 郑昌文 | 博导 | 计算机应用技术 | 智能信息处理 | changwen(AT)iscas.ac.cn |
| 刘立详 | 硕导 | 计算机应用技术 | 网络技术及应用 | lixiang(AT)iscas.ac.cn |
| 吕品 | 博导 | 计算机应用技术 | 智能信息处理 | lvpin(AT)iscas.ac.cn |
| 吴凤鸽 | 硕导 | 计算机应用技术 | 智能信息处理 | fengge(AT)iscas.ac.cn |
| 赵军锁 | 硕导 | 计算机应用技术 | 智能信息处理 | junsuo(AT)iscas.ac.cn |
| 窦竹梅 | 硕导 | 计算机应用技术 | 智能信息处理 | zhumei(AT)iscas.ac.cn |
| 邓勇 | 硕导 | 计算机应用技术 | 网络技术及应用 | dengyong(AT)iscas.ac.cn |
| 张金芳 | 硕导 | 计算机技术 | 信息与数字工程 | jinfang(AT)iscas.ac.cn |
| 协同创新中心 | ||||
| 导师姓名 | 导师类别 | 招生专业 | 研究方向（博士/硕士） | E-mail 地址 |
| 王永吉 | 博导 | 计算机软件与理论、软件工程（学术学位） | 操作系统、隐蔽信道、实时系统、软件过程方法与技术 | ywang(AT)itechs.iscas.ac.cn |
| 丁治明 | 博导 | 计算机软件与理论 | 数据库与知识库系统 | 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 |
| 软件发展研究部 | ||||
| 导师姓名 | 导师类别 | 招生专业 | 研究方向（博士/硕士） | E-mail 地址 |
| 左春 * | 硕导 | 软件工程（专业学位） | 分布式软件系统工程 | zuochun(AT)sinosoft.com.cn |
| 张凤军 | 博导 | 计算机应用技术 | 人机交互技术、软件工程 | fengjun(AT)iscas.ac.cn |
