导师简介

 

计算机软件与理论( 081202

部门

导师类别

研究方向(博士 / 硕士)

E-mail 地址

计算

机科

学国

家重

点实

验室

林惠民

博   导

并发理论,形式化方法,网络与并发实时系统的设计与分析

lhm@ios.ac.cn

张 健

博   导

自动推理与程序分析,程序分析与软件测试

zj@ios.ac.cn

张文辉

博   导

形式化方法,网络与并发实时系统的设计与分析

zwh@ios.ac.cn

沈一栋

博   导

数据挖掘,形式化方法

ydshen@ios.ac.cn

陈海明

博   导

新型计算模型与应用,软件设计方法和形式规约

chm@ios.ac.cn

李昂生

博   导

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

angsheng@ios.ac.cn

蒋  颖

博   导

程序设计基础,程序理论与验证技术

jy@ios.ac.cn

焦  莉

博   导

形式化方法, Petri 网理论 与应用

ljiao@ios.ac.cn

柳欣欣

博   导

高阶并发进程的理论

xinxin@ios.ac.cn

薛锦云 *

博   导

软件形式化与自动化

Jxue@jxnucie.com

Jin-yi Cai

博   导

计算复杂性与算法

jyc@cs.wisc.edu

Francis Chin

博   导

算法与生物信息

chin@cs.hku.hk

李广元

硕   导

并发实时软件设计与分析方法

lgy@ios.ac.cn

李勇坚

硕   导

并发实时软件设计与分析方法

lyj238@ios.ac.cn

詹乃军

博   导

形式说明技术和程序验证

znj@ios.ac.cn

吴  鹏

硕   导

软件设计、验证及测试的方法与技术

wp@ios.ac.cn

张  昱

硕   导

软件设计、验证及测试的方法与技术

yzhang@ios.ac.cn

吕  毅

硕   导

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

lvy@ios.ac.cn

并行

软件

与计

算科

学实

验室

李玉成

硕   导

并行算法与并行软件

yucheng@iscas.ac.cn

张云泉

博   导

并行算法与并行软件

yunquan.zhang@gmail.com

曹建文

博   导

数值并行计算

cao@mail.rdcps.ac.cn

李会元

硕   导

数值并行计算

huiyuan@iscas.ac.cn  

杨  超

硕   导

数值并行计算

yangchao@iscas.ac.cn  

王  可

硕   导

并行软件设计与实现

wangke@iscas.ac.cn  

姚继锋

硕   导

并行算法与并行软件

jifeng@iscas.ac.cn

基础

软件

国家

工程

研究

中心

李明树

博   导

可信软件过程技术,软件过程技术与方法

lms@admin.iscas.ac.cn

贺也平

博   导

可信计算与系统安全

yeping@iscas.ac.cn 

丁治明

博   导

数据库与知识库系统,可信计算与系统安全

zhiming@iscas.ac.cn

王永吉

博   导

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

ywang@intec.iscas.ac.cn

赵  琛

博   导

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

zhaochen@iscas.ac.cn

吴  健

硕   导

文本信息处理与信息检索

wujian@iscas.ac.cn

孙 乐

硕   导

文本信息处理与信息检索

sunle@iscas.ac.cn

郭  亮

硕   导

可信计算与基础软件

guoliang@iscas.ac.cn

丁丽萍

硕   导

可信技术与基础软件

dlp@iscas.ac.cn

武延军

硕   导

可信计算与基础软件

yanjun@iscas.ac.cn

刘  剑

硕   导

可信计算与基础软件

liujian@iscas.ac.cn

王  青

博   导

软件过程技术与方法

wq@itechs.iscas.ac.cn

淮晓永

硕   导

软件过程技术与方法

xiaoyong@iscas.ac.cn

杨 

硕   导

软件过程技术与方法

yangye@itechs.iscas.ac.cn

李  娟

硕   导

软件过程方法与技术

lijuan@iscas.ac.cn

袁 峰

硕   导

软件过程方法与技术

yf@itechs.iscas.ac.cn  

杨秋松

硕   导

软件过程方法与技术

qiusong@iscas.ac.cn

 

李文波

硕   导

中文信息处理与信息检索

wenbo@iscas.ac.cn

陆  迤

硕   导

可信计算与基础软件

luyi@iscas.ac.cn

芮建武

硕   导

可信计算与基础软件

rjw@iscas.ac.cn

肖俊超

硕   导

软件过程方法与技术

junchao@iscas.ac.cn

软件

工程

技术

研究

开发

中心

黄 涛

博   导

网络分布计算和软件工程

tao@otcaix.iscas.ac.cn

魏  峻

博   导

网络分布计算和软件工程

wj@otcaix.iscas.ac.cn

钟 华

博   导

网络分布计算和软件工程

zhonghua@otcaix.iscas.ac.cn

金蓓弘

博   导

网络分步计算和软件工程

jbh@otcaix.iscas.ac.cn

  左   春 *

硕   导

网络分步计算和软件工程

zuochun@sinosoft.com.cn

张  波

硕   导

网络分步计算和软件工程

zhangbo@otcaix.iscas.ac.cn

许舒人

硕   导

网络分步计算和软件工程

xsr@otcaix.iscas.ac.cn

叶  丹

硕   导

网络分步计算和软件工程

yedan@otcaix.iscas.ac.cn

范国闯

硕   导

网络分步计算和软件工程

fanguochuang@otcaix.iscas.ac.cn

徐   罡

硕   导

网络分布计算和软件工程

xugang@otcaix.iscas.ac.cn

叶春扬

硕   导

网络分布计算和软件工程

yechunyang@otcaix.iscas.ac.cn

严  俊

硕   导

网络分布计算与软件工程

yanjun@otcaix.iscas.ac.cn

张文博

硕   导

网络分布计算与软件工程

zhangwenbo@otcaix.iscas.ac.cn

计算机应用技术 (081203)

部门

姓 名

导师类别

研究方向

E-mail 地址

计算

机科

学重

点实

验室

吴恩华

博   导

计算机图形学

weh@ios.ac.cn

王文成

博   导

计算机图形学

whn@ios.ac.cn

  徐迎庆 *

博   导

计算机图形学

yqxu@microsoft.com

陈彦云

博   导

计算机图形学

chenyy@ios.ac.cn

刘学慧

硕  导

计算机图形学

lxh@ios.ac.cn

人机

交互

技术

实验

戴国忠

博   导

人机交互技术,软件工程

dgz(at)iel.iscas.ac.cn

王宏安

博   导

人机交互技术,软件工程

wha@iel.iscas.ac.cn

田  丰

博   导

人机交互技术、软件工程

tf(at)iel.iscas.ac.cn 

王丹力

博  导

人机交互技术、软件工程

danli@ios.ac.cn

滕东兴

硕   导

人机交互技术、软件工程

tengdonghxing@ios.ac.cn

张风军

硕   导

人机交互技术、软件工程

fengjun@ios.ac.cn

乔   颖

硕   导

人机交互技术、软件工程

qiaoyin@ios.ac.cn

  韩永生 *

硕   导

软件工程及应用

hanysh@youngor.com.cn

  孙  静 *

硕   导

软件工程及应用

sunjing@sinosoft.com.cn

马翠霞

硕   导

人机交互技术、软件工程

cuixia@ios.ac.cn

王永炎

硕   导

人机交互技术、软件工程

yongyan@iscas.ac.cn

陈  辉

硕   导

人机交互技术,软件工程

chenhui@iscas.ac.cn 

综合

信息

系统

技术

国家

级重

点实

验室

胡晓惠

博   导

信息系统集成与仿真

hxh@iscas.ac.cn

范植华

博   导

信息系统控制与集成

zhihua@iscas.ac.cn

  李   磊 *

博   导

信息处理与集成

lil@iscas.ac.cn

郑昌文

博   导

信息系统集成

changwen@ iscas.ac.cn

彭启民

硕   导

信息系统集成

qimin@iscas.ac.cn

张金芳

硕   导

系统集成与虚拟仿真

jinfang@iscas.ac.cn

刘立祥

硕   导

组网与通信技术

lixiang@iscas.ac.cn

郑  刚

硕   导

组网与通信技术

zhenggang@ iscas.ac.cn

马恒太

硕   导

组网与通信技术

htma@iscas.ac.cn

邓  勇

硕   导

组网与通信技术

dengyong@iscas.ac.cn

赵军锁

硕   导

信息与数字工程

junsuo@iscas.ac.cn

【信息安全 (081220)

部门

导师

类别

研究方向

E-mail 地址

信息

安全

国家

重点

实验

冯登国

博   导

网络与系统安全

Feng@is.iscas.ac.cn

孙利民

博   导

网络与系统安全

sunlimin@ios.cn

林东岱

博   导

密码学与安全协议

ddlin@is.iscas.ac.cn

武传坤

博   导

密码学与安全协议

ckwu@is.iscas.ac.cn

吴文玲

博   导

密码学与安全协议

wwl@ercist.iscas.ac.cn

王明生

博   导

密码学与安全协议

mswang@is.iscas.ac.cn

薛  锐

博   导

密码学与安全协议

xuerui@is.iscas.ac.cn

张振峰

博   导

密码学与安全协议

zfzhang@is.iscas.ac.cn

周永彬

硕   导

网络与系统安全

zhouyongbin@sina.com

赵险峰

硕   导

网络与系统安全

xfzhao@is.iscas.ac.cn

苏璞睿

硕   导

网络与系统安全

supurui@is.iscas.ac.cn

张  斌

硕   导

网络与系统安全

zhangbin@is.iscas.ac.cn

徐  震

硕   导

网络与系统安全

xuzheng@is.iscas.ac.cn

连一峰

硕  导

信息安全工程

lianyf@is.iscas.ac.cn 

张  敏

硕  导

信息安全工程

mzhang@is.iscas.ac.cn

徐  静

硕  导

密码学与安全协议

xujing@is.iscas.ac.cn

张文涛

硕  导

密码学与安全协议

zhangwt@is.iscas.ac.cn

张  阳

硕  导

信息安全工程

zhangyang@is.iscas.ac.cn