博士生导师（专业学位）
*按姓氏拼音顺序排列
| 姓名 | 研究方向 | 邮箱 |
| 鲍海勇 | 大数据安全与隐私保护、网络与信息安全、区块链、虚拟/增强/混合现实、人工智能、智慧旅游、智慧城市、智能电网、智能教育、计算机软件理论及应用 | 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 |
