师资队伍
Faculty

学院教授/博导

*按姓氏拼音顺序排列

姓名	职称	研究方向	邮箱
蔡海滨	教授/博导	普适计算，物联网/CPS，嵌入式软件	hbcai@sei.ecnu.edu.cn
曹桂涛	教授/博导	物联网与智能技术、智能识别与决策系统、边缘计算	gtcao@sei.ecnu.edu.cn
曹珍富	教授/博导	数论，密码学新理论，网络安全新理论，云计算、云处理安全和隐私保护，大数据安全和隐私保护	zfcao@sei.ecnu.edu.cn
陈洁	研究员/博导	密码学，信息安全	jchen@cs.ecnu.edu.cn
陈铭松	教授/博导	物联网、智能系统设计自动化，可信智能软件，计算机体系结构，边缘计算	mschen@sei.ecnu.edu.cn
陈仪香	教授/博导	物联网、实时协同规范语言设计、程序语义模型、软件可信度量与评估	yxchen@sei.ecnu.edu.cn
邓玉欣	教授/博导	并发理论，程序语义	yxdeng@sei.ecnu.edu.cn
董晓蕾	教授/博导	数论、密码学与网络安全	dongxiaolei@sei.ecnu.edu.cn
杜德慧	教授/博导	可信人工智能、人工智能系统的正确性、安全性的建模与验证；信息物理融合系统的建模及验证;实时系统建模及验证，建模、验证工具研发、应用研究	dhdu@sei.ecnu.edu.cn
宫学庆	教授/博导	数据库技术、分布式数据管理系统	xqgong@sei.ecnu.edu.cn
何道敬	教授/博导	网络安全；传感网安全；软件安全；物联网；通信安全；嵌入式系统安全；飞行器安全	djhe@sei.ecnu.edu.cn
何积丰	教授/博导	高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机软件与理论	jifeng@sei.ecnu.edu.cn
李祥学	研究员/博导	车联网安全，网络安全，密码学	xxli@cs.ecnu.edu.cn
林学民	教授/博导	数据库理论、算法与技术研究，时空数据和流数据的查询、图和文本的匹配查询、不确定数据的概化查询及图数据可视化	xmlin@sei.ecnu.edu.cn
刘静	教授/博导	可信软件，模型驱动式软件开发方法，面向服务的软件架构	jliu@sei.ecnu.edu.cn
蒲戈光	教授/博导	程序分析，软件验证，基于Web的工作流建模	ggpu@sei.ecnu.edu.cn
钱海峰	研究员/博导	计算机安全、信息安全与密码学、计算机网络安全、密码理论与算法数论	hfqian@cs.ecnu.edu.cn
王高丽	教授/博导	密码学与网络安全	glwang@sei.ecnu.edu.cn
杨争峰	教授/博导	机器学习与优化，深度学习算法的设计与验证，形式化方法	zfyang@sei.ecnu.edu.cn
张磊	研究员/博导	信息安全，密码学，无线网安全, 车载网安全，云计算安全, 隐私保护	leizhang@sei.ecnu.edu.cn
赵慧	教授	数据管理与分布式计算	hzhao@sei.ecnu.edu.cn
朱惠彪	教授/博导	高可信计算、形式化方法、形式语义及其连接、程序分析与验证、进程代数	hbzhu@sei.ecnu.edu.cn
朱明华	研究员/博导	无线传感器网络，嵌入式系统，无线通信，数字集成电路设计	mhzhu@sei.ecnu.edu.cn