师资队伍

博士生导师（学术学位）

*按姓氏拼音顺序排列

姓名	研究方向	邮箱
鲍海勇	大数据安全与隐私保护、网络与信息安全、区块链、虚拟/增强/混合现实、人工智能、智慧旅游、智慧城市、智能电网、智能教育、计算机软件理论及应用	hybao@sei.ecnu.edu.cn
蔡海滨	普适计算，物联网/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
陈志立	安全多方计算，差分隐私，隐私保护，信息隐藏	zhlchen@sei.ecnu.edu.cn
程鹏	空间众包、智慧交通、隐私保护、图数据库	pcheng@sei.ecnu.edu.cn
邓玉欣	并发理论，程序语义	yxdeng@sei.ecnu.edu.cn
董晓蕾	数论、密码学与网络安全	dongxiaolei@sei.ecnu.edu.cn
杜德慧	可信人工智能、人工智能系统的正确性、安全性的建模与验证；信息物理融合系统的建模及验证;实时系统建模及验证，建模、验证工具研发、应用研究	dhdu@sei.ecnu.edu.cn
巩俊卿	密码学与信息安全	jqgong@sei.ecnu.edu.cn
宫学庆	数据库技术、分布式数据管理系统	xqgong@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
刘虹	智能网联汽车信息安全，预期功能安全，工业控制系统安全	hliu@sei.ecnu.edu.cn
缪炜恺	软件形式化方法，需求建模与分析，软件测试	wkmiao@sei.ecnu.edu.cn
蒲戈光	程序分析，软件验证，基于Web的工作流建模	ggpu@sei.ecnu.edu.cn
钱海峰	计算机安全、信息安全与密码学、计算机网络安全、密码理论与算法数论	hfqian@admin.ecnu.edu.cn
史建琦	工业软件，形式化方法，可信人工智能，实时操作系统	jqshi@sei.ecnu.edu.cn
苏亭	软件分析与验证，软件测试，软件安全，可信人工智能，系统软件	tsu@sei.ecnu.edu.cn
王高丽	密码学与网络安全	glwang@sei.ecnu.edu.cn
魏宪	几何优化与机器学习，智能系统	xwei@sei.ecnu.edu.cn
杨争峰	机器学习与优化，深度学习算法的设计与验证，形式化方法	zfyang@sei.ecnu.edu.cn
张磊	车联网/物联网安全，密码学，人工智能(联邦学习)安全，区块链，云计算安全，隐私保护	leizhang@sei.ecnu.edu.cn
张民	形式化方法、可信软件	zhangmin@sei.ecnu.edu.cn
张敏	形式化验证，可信人工智能	mzhang@sei.ecnu.edu.cn
张新宇	机器人技术、虚拟现实	xyzhang@sei.ecnu.edu.cn
周俊	密码学与信息安全、智能安全与隐私保护、区块链隐私保护与监管	jzhou@sei.ecnu.edu.cn
朱惠彪	高可信计算、形式化方法、形式语义及其连接、程序分析与验证、进程代数	hbzhu@sei.ecnu.edu.cn
朱明华	无线传感器网络，嵌入式系统，无线通信，数字集成电路设计	mhzhu@sei.ecnu.edu.cn
曾鹏	大数据安全与隐私保护、区块链、云计算安全、抗量子攻击密码等	pzeng@sei.ecnu.edu.cn