师资队伍

教授/博士生导师

*按姓氏拼音顺序排列

姓名	职称	研究方向	邮箱
鲍海勇	教授/博导	大数据安全与隐私保护、网络与信息安全、区块链、虚拟/增强/混合现实、人工智能、智慧旅游、智慧城市、智能电网、智能教育、计算机软件理论及应用	hybao@sei.ecnu.edu.cn
蔡海滨	教授/博导	普适计算，物联网/CPS，嵌入式软件	hbcai@sei.ecnu.edu.cn
曹桂涛	教授/博导	物联网与智能技术、智能识别与决策系统、边缘计算	gtcao@sei.ecnu.edu.cn
曹珍富	教授/博导	数论，密码学新理论，网络安全新理论，云计算、云处理安全和隐私保护，大数据安全和隐私保护	zfcao@sei.ecnu.edu.cn
陈铭松	教授/博导	物联网、智能系统设计自动化，可信智能软件，计算机体系结构，边缘计算	mschen@sei.ecnu.edu.cn
陈仪香	教授/博导	物联网、实时协同规范语言设计、程序语义模型、软件可信度量与评估	yxchen@sei.ecnu.edu.cn
陈志立	教授/博导	安全多方计算，差分隐私，隐私保护，信息隐藏	zhlchen@sei.ecnu.edu.cn
陈曦	教授/博导	多模态大模型和多智能体	xchen@geo.ecnu.edu.cn
程鹏	青年研究员/博导	空间众包、智慧交通、隐私保护、图数据库	pcheng@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
李成举	教授/博导	编码密码、信息安全	cjli@sei.ecnu.edu.cn
李建文	青年研究员/博导	自动化验证理论和应用技术、计算机逻辑理论和应用技术、自动机理论和应用技术	jwli@sei.ecnu.edu.cn
李祥学	研究员/博导	车联网安全，网络安全，密码学	xxli@cs.ecnu.edu.cn
LIN Xuemin	教授/博导	数据库理论、算法与技术研究，时空数据和流数据的查询、图和文本的匹配查询、不确定数据的概化查询及图数据可视化	xmlin@sei.ecnu.edu.cn
刘静	教授/博导	可信软件，模型驱动式软件开发方法，面向服务的软件架构	jliu@sei.ecnu.edu.cn
巩俊卿	青年研究员/博导	密码学与信息安全	jqgong@sei.ecnu.edu.cn
蒲戈光	教授/博导	程序分析，软件验证，基于Web的工作流建模	ggpu@sei.ecnu.edu.cn
钱海峰	研究员/博导	计算机安全、信息安全与密码学、计算机网络安全、密码理论与算法数论	hfqian@admin.ecnu.edu.cn
史建琦	副研究员/博导
苏亭	教授/博导	软件分析与验证，软件测试，软件安全，可信人工智能，系统软件	tsu@sei.ecnu.edu.cn
王高丽	教授/博导	密码学与网络安全	glwang@sei.ecnu.edu.cn
魏宪
杨争峰	教授/博导	机器学习与优化，深度学习算法的设计与验证，形式化方法	zfyang@sei.ecnu.edu.cn
张磊	研究员/博导	车联网/物联网安全，密码学，人工智能(联邦学习)安全，区块链，云计算安全，隐私保护	leizhang@sei.ecnu.edu.cn
张民	教授/博导	形式化方法、可信软件	zhangmin@sei.ecnu.edu.cn
张新宇	教授/博导	机器人技术、虚拟现实	xyzhang@sei.ecnu.edu.cn
赵慧	教授	数据管理与分布式计算	hzhao@sei.ecnu.edu.cn
朱惠彪	教授/博导	高可信计算、形式化方法、形式语义及其连接、程序分析与验证、进程代数	hbzhu@sei.ecnu.edu.cn
朱明华	研究员/博导	无线传感器网络，嵌入式系统，无线通信，数字集成电路设计	mhzhu@sei.ecnu.edu.cn