博士生导师（专业学位）

*按姓氏拼音顺序排列

姓名	研究方向	邮箱
鲍海勇	大数据安全与隐私保护、网络与信息安全、区块链、虚拟/增强/混合现实、人工智能、智慧旅游、智慧城市、智能电网、智能教育、计算机软件理论及应用	hybao@sei.ecnu.edu.cn
蔡海滨	普适计算，物联网/CPS，嵌入式软件	hbcai@sei.ecnu.edu.cn
蔡喁	民用飞机（包括大型无人机和eVLOT）安全关键软件研制、验证和适航技术；民用飞机机载网络安保；嵌入式高安全操作系统和运行环境	ycai@sei.ecnu.edu.cn
曹桂涛	物联网与智能技术、智能识别与决策系统、边缘计算	gtcao@sei.ecnu.edu.cn
曹珍富	数论，密码学新理论，网络安全新理论，云计算、云处理安全和隐私保护，大数据安全和隐私保护	zfcao@sei.ecnu.edu.cn
陈洁	密码学，信息安全	jchen@cs.ecnu.edu.cn
陈铭松	物联网、智能系统设计自动化，可信智能软件，计算机体系结构，边缘计算	mschen@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
李成举	编码密码、信息安全	cjli@sei.ecnu.edu.cn
李建文	自动化验证理论和应用技术、计算机逻辑理论和应用技术、自动机理论和应用技术	jwli@sei.ecnu.edu.cn
李祥学	车联网安全，网络安全，密码学	xxli@cs.ecnu.edu.cn
刘静	可信软件，模型驱动式软件开发方法，面向服务的软件架构	jliu@sei.ecnu.edu.cn
刘虹	智能网联汽车信息安全，预期功能安全，工业控制系统安全	hliu@sei.ecnu.edu.cn
缪炜恺	软件形式化方法，需求建模与分析，软件测试	wkmiao@sei.ecnu.edu.cn
彭超	算法与智能计算、机器学习与深度学习、网络与优化、区块链与分布式计算	cpeng@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

快速通道:

beat·365(中国)手机中文官方网站-welcome
学院地址：上海中山北路3663号理科大楼
院长信箱yuanzhang@sei.ecnu.edu.cn | 办公邮箱：office@sei.ecnu.edu.cn | 院办电话：021-62232550
sei.ecnu.edu.cn Copyright Software Engineering Institute