导师信息
  

 

计算机科学国家重点实验室

导师姓名

导师类别

招生专业

研究方向(博士/硕士)

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

李昂生

博导

计算机软件与理论

面向网络的计算理论及应用

angsheng(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

李广元

硕导

计算机软件与理论、计算机技术

并发实时系统的设计与分析

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

时磊

硕导

计算机应用技术、计算机技术

信息可视化、可视分析

shil(AT)ios.ac.cn

吴志林

硕导

计算机软件与理论、计算机技术

程序验证、数据库理论、计算逻辑、形式语言与自动机理论

wuzl(AT)ios.ac.cn

杨绍发

硕导

计算机软件与理论、计算机技术

智能交通中的算法问题

yangsf(AT)ios.ac.cn

刘学慧

硕导

计算机应用技术、计算机技术

计算机图形学

lxh(AT)ios.ac.cn

Andrea Turrini

硕导

计算机软件与理论

Model Checking,Distributed Systems,Concurrent Systems

turrini(AT)ios.ac.cn

Ernst Moritz Hahn

硕导

计算机软件与理论

Formal Methods,Stochastic Models,Hybrid Systems

moritz(AT)ios.ac.cn

夏盟佶

硕导

计算机软件与理论

算法和计算复杂性

mengji(AT)ios.ac.cn

蔡少伟

硕导

计算机软件与理论

难解问题的算法设计

caisw(AT)ios.ac.cn

蔡彦

硕导

计算机软件与理论

程序语言分析

yancai(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

应凌云

硕导

计算机应用技术 

可信计算与信息保障 

yly(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

龙国平

硕导

计算机软件与理论

程序优化、并行计算

guoping(AT)iscas.ac.cn

马文静

硕导

计算机软件与理论

并行计算、CPU计算、并行代码生成与优化

wenjing(AT)iscas.ac.cn

邓攀

硕导

计算机软件与理论

数据挖掘,计算机应用技术

dengpan(AT)iscas.ac.cn

陈峰

硕导

计算机软件与理论 

软件工程、操作系统

chenfeng(AT)iscas.ac.cn 

刘芳芳

硕导

计算机软件与理论 

高性能数学库,稀疏迭代解法器,异构众核并行

fangfang(AT)iscas.ac.cn 

基础软件国家工程研究中心

导师姓名

导师类别

招生专业

研究方向(博士/硕士)

E-mail 地址

李明树

博导

计算机软件与理论、软件工程(学术学位)

操作系统深度设计,可信软件过程,基础软硬件核心技术与应用

mingshu(AT)iscas.ac.cn

博导

计算机软件与理论

程序语言设计与编译技术,可信计算与基础软件

zhaochen(AT)iscas.ac.cn

贺也平

博导

计算机软件与理论

可信计算与系统安全

yeping(AT)iscas.ac.cn

王永吉

博导

计算机软件与理论、软件工程(学术学位)

操作系统、隐蔽信道、实时系统、软件过程方法与技术

ywang(AT)itechs.iscas.ac.cn

王青

博导

计算机软件与理论、软件工程(学术学位)

软件过程技术与方法、经验软件工程

wq(AT)itechs.iscas.ac.cn

孙乐

博导

计算机软件与理论

文本信息处理与信息检索

sunle(AT)iscas.ac.cn

丁丽萍

博导

计算机软件与理论、电子与信息

系统软件安全与取证、可信计算、智能终端安全与取证

dlp(AT)iscas.ac.cn

武延军

博导

计算机软件与理论

可信技术与基础软件

yanjun(AT)nfs.iscas.ac.cn

杨秋松 

博导

计算机软件与理论、软件工程(专业学位) 

软件过程方法与技术、形式化方法、安全操作系统 

qiusong(AT)nfs.iscas.ac.cn

吴健

硕导

计算机软件与理论

文本信息处理与信息检索

wujian(AT)nfs.iscas.ac.cn

郭亮

硕导

计算机软件与理论

可信计算与基础软件

guoliang(AT)pubmail.iscas.ac.cn

薛云志

硕导

计算机软件与理论

自动化软件测试、编译优化

yunzhi(AT)nfs.iscas.ac.cn

韩先培

硕导

计算机软件与理论

文本信息处理与信息检索

xianpei(AT)nfs.iscas.ac.cn

马龙龙

硕导

计算机软件与理论

文本信息处理与信息检索

longlong(AT)iscas.ac.cn

淮晓永

硕导

计算机软件与理论

软件过程技术与方法

xiaoyong(AT)iscas.ac.cn

袁峰

硕导

软件工程(学术/专业)

智慧城市(物联网、云计算、大数据)、软件工程

yf(AT)gz.iscas.ac.cn

李文波

硕导

计算机软件与理论

文本信息处理与信息检索

wenbo(AT)nfs.iscas.ac.cn

芮建武

硕导

计算机软件与理论

可信计算与基础软件

rjw(AT)iscas.ac.cn

吴敬征

硕导

计算机软件与理论

漏洞挖掘,移动终端安全,操作系统安全

jingzheng(AT)nfs.iscas.ac.cn

于佳耕

硕导

计算机软件与理论

操作系统,虚拟化,云计算

jiageng(AT)nfs.iscas.ac.cn

杨达

硕导

软件工程(学术学位)

软件过程方法与技术,需求工程,数据挖掘

yangda(AT)nfs.iscas.ac.cn

陶秋铭

硕导

计算机软件与理论 

软件工程 

qiuming(AT)iscas.ac.cn 

翟健

硕导

软件工程 

软件过程技术与应用 

zhaijian(AT)iscas.ac.cn 

刘汇丹

硕导

计算机软件与理论

多民族自然语言处理处理,操作系统中文信息处理

huidan(AT)iscas.ac.cn

人机交互技术与智能信息处理实验室

导师姓名

导师类别

招生专业

研究方向(博士/硕士)

E-mail 地址

王宏安

博导

计算机应用技术、电子与信息

人机交互技术、软件工程

wha(AT)iel.iscas.ac.cn

田丰

博导

计算机应用技术、电子与信息

人机交互技术、软件工程

tianfeng(AT)iscas.ac.cn

王丹力

博导

计算机应用技术、计算机技术

人机交互技术、软件工程

danli(AT)iscas.ac.cn

马翠霞

博导

计算机应用技术

人机交互技术、软件工程

cuixia(AT)iscas.ac.cn

滕东兴

博导

计算机应用技术

人机交互技术、软件工程

dongxing(AT)iscas.ac.cn

张凤军

硕导

计算机应用技术

人机交互技术、软件工程

fengjun(AT)iscas.ac.cn

乔颖

硕导

计算机应用技术

人机交互技术、软件工程

qiaoying(AT)iscas.ac.cn

韩永生 *

硕导

计算机应用技术、计算机技术

软件工程及应用

yongsheng(AT)iscas.ac.cn

*

硕导

计算机应用技术、计算机技术

软件工程及应用

sunjing(AT)sinosoft.com.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

左春 *

硕导

软件工程(专业学位)

分布式软件系统工程

zuochun(AT)sinosoft.com.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

王浩

硕导

计算机应用技术

智能信息处理

wanghao(AT)iscas.ac.cn

吴凤鸽

硕导

计算机应用技术

智能信息处理

fengge(AT)iscas.ac.cn

赵军锁

硕导

计算机应用技术

智能信息处理

junsuo(AT)iscas.ac.cn

窦竹梅

硕导

计算机应用技术

智能信息处理

zhumei(AT)iscas.ac.cn

马恒太

硕导

计算机应用技术

网络技术及应用

hengtai(AT)iscas.ac.cn

邓勇

硕导

计算机应用技术

网络技术及应用

dengyong(AT)iscas.ac.cn

彭启民

硕导

计算机技术

信息与数字工程

qimin(AT)iscas.ac.cn

张金芳

硕导

计算机技术

信息与数字工程

jinfang(AT)iscas.ac.cn