|
部门 |
姓 名 |
导师类别 |
研究方向（博士 / 硕士） |
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 |
