中国科学院软件研究所：博导研究方向及邮件地址 .

【计算机软件与理论（081202）】
部门	姓 名	研究方向	E-mail地址
计算机科学国家重点实验室	林惠民	并发理论与模型检测	lhm(at)ios.ac.cn
	张健	自动推理与程序分析	zj(at)ios.ac.cn
	张文辉	形式化方法	zwh(at)ios.ac.cn
	沈一栋	数据挖掘，形式化方法	ydshen(at)ios.ac.cn
	陈海明	新型计算模型与应用	chm(at)ios.ac.cn
	李昂生	计算理论	angsheng(at)ios.ac.cn
	蒋颖	程序设计基础	jy(at)ios.ac.cn
	焦莉	Petri网理论与应用	ljiao(at)ios.ac.cn
	张云泉	并行算法与并行软件	zyq(at)mail.rdcps.ac.cn
	曹建文	并行算法与并行软件	cao(at)mail.rdcps.ac.cn
	柳欣欣	高阶并发进程的理论	xinxin(at)ios.ac.cn
	薛锦云*	软件形式化与自动化	jxue(at)jxnucie.com
	Jin-yi Cai	计算复杂性与算法	jyc(at)cs.wisc.edu
	Francis Chin	算法与生物信息	chin(at)cs.hku.hk
基础软件中心	李明树	可信软件过程技术	lms(at)admin.iscas.ac.cn
	贺也平	可信计算与系统安全	yphe(at)ercist.iscas.ac.cn
	丁治明	可信计算与系统安全	zhiming(at)iscas.ac.cn
	王永吉	实时系统	ywang(at)intec.iscas.ac.cn
	赵琛	编译技术；中文信息处理	zhaochen(at)iscas.ac.cn
互联网软件技术实验室	李明树	软件过程技术与方法	lms(at)admin.iscas.ac.cn
	王青	软件过程技术与方法	wq(at)itechs.iscas.ac.cn
	王永吉	软件过程技术与方法	ywang(at)intec.iscas.ac.cn
	赵琛	软件过程技术与方法	zhaochen(at)iscas.ac.cn
软件工程技术研究开发中心	冯玉琳	网络分布计算和软件工程	feng(at)otcaix.iscas.ac.cn
	黄涛	网络分布计算和软件工程	tao(at)otcaix.iscas.ac.cn
	魏峻	网络分布计算和软件工程	wj(at)otcaix.iscas.ac.cn
	钟华	网络分布计算和软件工程	zhongh(at)otcaix.iscas.ac.cn
【计算机应用技术(081203)】
部门	姓 名	研究方向	E-mail地址
计算机科学重点实验室	吴恩华	计算机图形学	enhua(at)iscas.cn 或 ehwu(at)umac.mo
	王文成	计算机图形学	whn(at)ios.ac.cn
	徐迎庆*	计算机图形学	yqxu(at)microsoft.com
人机交互技术实验室	戴国忠	人机交互技术，软件工程	guozhong(at)iscas.ac.cn
	王宏安	人机交互技术，软件工程	wha(at)iel.iscas.ac.cn
综合信息系统技术国家级重点实验室	胡晓惠	信息系统集成与仿真	xhhu(at)ios.cn
	范植华	综合信息系统控制与集成	fan_zhihua(at)hotmail.com
	李磊*	综合信息系统控制与集成	lil(at)iscas.ac.cn
多媒体中心	吴志美	多媒体通信	wzm(at)isdn.iscas.ac.cn
【信息安全(081220)】
部门	姓 名	研究方向	E-mail地址
信息安全国家重点实验室	冯登国	网络与系统安全	Feng(at)is.iscas.ac.cn
	孙利民	网络与系统安全	sunlimin(at)ios.cn
	林东岱	密码学与安全协议	ddlin(at)is.iscas.ac.cn
	武传坤	密码学与安全协议	ckwu(at)is.iscas.ac.cn
	吴文玲	密码学与安全协议	wwl(at)ercist.iscas.ac.cn
	王明生	密码学与安全协议	mswang(at)is.iscas.ac.cn

 

硕导研究方向及邮件地址

【计算机软件与理论（081202）】
部门	姓 名	研究方向	E-mail地址
计算机科学重点实验室	李广元	并发实时软件设计与分析方法	ligy(at)ios.ac.cn
	李勇坚	并发实时软件设计与分析方法	lyj2238(at)ios.ac.cn
	詹乃军	形式说明技术和程序验证	znj(at)ios.ac.cn
	李玉成	并行算法与并行软件	yucheng(at)iscas.ac.cn
	李会元	并行算法与并行软件
基础软件中心	吴健	文本信息处理与信息检索	jwu(at)sonata.iscas.ac.cn
	孙乐	文本信息处理与信息检索	lesun(at)sonata.iscas.ac.cn
	淮晓永	可信计算与基础软件	xiaoyong(at)ios.cn
	梁洪亮	可信计算与基础软件	hongliang(at)iscas.ac.cn
	郭亮	可信计算与基础软件	guoliang(at)iscas.ac.cn
互联网软件技术实验室	周津慧	软件过程技术与方法	jinhui(at)itechs.iscas.ac.cn
	淮晓永	软件过程技术与方法	xiaoyong(at)ios.cn
	杨叶	软件过程技术与方法	yangye(at)itechs.iscas.ac.cn
	李怀璋	智能软件工程，实时系统	hzli(at)itechs.iscas.ac.cn
软件工程技术研究开发中心	金蓓弘	网络分布计算和软件工程	jbh(at)otcaix.iscas.ac.cn
	左春*	网络分布计算和软件工程	zuochun(at)sinosoft.com.cn
	张波	网络分布计算和软件工程	zhangbo(at)otcaix.iscas.ac.cn
	许舒人	网络分布计算和软件工程	xsr(at)otcaix.iscas.ac.cn
	叶丹	网络分布计算和软件工程	yedan(at)otcaix.iscas.ac.cn
	范国闯	网络分布计算和软件工程	fanguochuang(at)otcaix.iscas.ac.cn
【计算机应用技术（081203）】
部门	姓 名	研究方向	E-mail地址
计算机科学重点实验室	刘学慧	计算机图形学	lxh(at)ios.ac.cn
人机交互技术实验室	王丹力	人机交互技术、软件工程	danli(at)ios.cn
	滕东兴	人机交互技术、软件工程	tengdonghxing(at)ios.ac.cn
	张风军	人机交互技术、软件工程	fengjun(at)ios.cn
	田丰	人机交互技术、软件工程	tianfeng(at)ios.ac.cn
	乔颖	人机交互技术、软件工程	qiaoyin(at)ios.ac.cn
	韩永生*	软件工程及应用	hanysh(at)youngor.com.cn
	秦晓*	软件工程及应用	qinxiao(at)sinosoft.com.cn
	孙静*	软件工程及应用	sunjing(at)sinosoft.com.cn
综合信息系统技术国家级重点实验室	郑昌文	信息系统集成	changwen(at)ios.cn
	彭启民	信息系统集成	qiming(at)ios.cn
	张金芳	系统集成与虚拟仿真	jinfang(at)ios.cn
	王宇心	信息系统集成	yuxin(at)ios.cn
	刘立祥	组网与通信技术	lixiang(at)ios.cn
	郑刚	组网与通信技术	zhenggang(at)ios.ac.cn
	马恒太	组网与通信技术	htma(at)ios.cn
	邓勇	组网与通信技术	zkzdy(at)163.com
多媒体中心	方贵明	网络通信和多媒体技术	guiming.fang(at)gmail.com
	石志强	网络通信和多媒体技术	zhiqiang(at)ios.cn
	王新社*	嵌入式实时操作系统	xswang(at)sec.ac.cn
【信息安全（081220）】
部门	姓 名	研究方向	E-mail地址
信息安全国家重点实验室	周永彬	网络与系统安全	zhouyongbin(at)sina.com
	赵险峰	网络与系统安全	xfzhao(at)is.iscas.ac.cn
	苏璞睿	网络与系统安全	supurui(at)is.iscas.ac.cn
	张斌	网络与系统安全	zhangbin(at)is.iscas.ac.cn
	徐震	网络与系统安全	xuzhen(at)is.iscas.ac.cn
	薛锐	密码学与安全协议	rxue(at)is.iscas.ac.cn
	张振峰	密码学与安全协议	zfzhang(at)is.iscas.ac.cn